theorem Th815: :: NUMBER11:815

Sum (digits (1144,10)) = 10