theorem Th11: :: RADIX_1:12

for k being Nat holds k -SD c= INT