theorem Th589: :: NUMBER11:589

Sum (digits (2600,10)) = 8