theorem Th481: :: NUMBER11:481

Sum (digits (1520,10)) = 8