theorem Th51: :: NUMBER11:51

Sum (digits (180,10)) = 9