theorem Th11: :: RADIX_5:11

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