theorem Th1134: :: NUMBER11:1134

Sum (digits (1250,10)) = 8