theorem Th1192: :: NUMBER11:1192

Sum (digits (2250,10)) = 9