theorem Th579: :: NUMBER11:579

Sum (digits (2500,10)) = 7