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