theorem Th5: :: RADIX_3:5

0 in 0 -SD_Sub_S