theorem Th1004: :: NUMBER11:1004

Sum (digits (1150,10)) = 7