theorem Th1: :: RADIX_5:1

for k being Nat st k >= 2 holds
(Radix k) - 1 in k -SD