theorem Th1128: :: NUMBER11:1128

Sum (digits (1125,10)) = 9