theorem Th453: :: NUMBER11:453

Sum (digits (1240,10)) = 7