theorem Th789: :: NUMBER11:789

Sum (digits (792,10)) = 18