theorem Th471: :: NUMBER11:471

Sum (digits (1420,10)) = 7