theorem Th583: :: NUMBER11:583

Sum (digits (2540,10)) = 11