theorem Th118: :: NUMBER11:118

Sum (digits (117,10)) = 9