theorem Th13: :: RADIX_1:14

for k being Nat holds 0 in k -SD