theorem Th403: :: NUMBER11:403

Sum (digits (720,10)) = 9