theorem Th7: :: RADIX_3:7

for k being Nat holds 0 in k -SD_Sub