theorem Th1106: :: NUMBER11:1106

Sum (digits (750,10)) = 12