theorem Th553: :: NUMBER11:553

Sum (digits (2240,10)) = 8