theorem Th587: :: NUMBER11:587

Sum (digits (2580,10)) = 15