theorem Th563: :: NUMBER11:563

Sum (digits (2340,10)) = 9