theorem Th477: :: NUMBER11:477

Sum (digits (1480,10)) = 13