theorem Th189: :: NUMBER11:189

Sum (digits (144,10)) = 9