for k being Nat st k >= 2 holds
SD_Add_Data ((Radix k),k) = 0