theorem Th487: :: NUMBER11:487

Sum (digits (1580,10)) = 14