theorem Th573: :: NUMBER11:573
Sum (digits (2440,10)) = 10