theorem Th441: :: NUMBER11:441

Sum (digits (1120,10)) = 4