theorem Th571: :: NUMBER11:571

Sum (digits (2420,10)) = 8