theorem Th489: :: NUMBER11:489

Sum (digits (1600,10)) = 7