theorem Th581: :: NUMBER11:581

Sum (digits (2520,10)) = 9