theorem Th37: :: NUMBER11:37

Sum (digits (110,10)) = 2