theorem Th10: :: RADIX_3:10

for k being Nat holds k -SD_Sub_S c= INT