theorem Th653: :: NUMBER11:653

Sum (digits (3240,10)) = 9