theorem Th577: :: NUMBER11:577

Sum (digits (2480,10)) = 14