theorem Th1124: :: NUMBER11:1124

Sum (digits (1050,10)) = 6