theorem Th865: :: NUMBER11:865

Sum (digits (1738,10)) = 19