theorem Th473: :: NUMBER11:473

Sum (digits (1440,10)) = 9