theorem Th6: :: RADIX_3:6

for k being Nat holds 0 in k -SD_Sub_S