theorem Th703: :: NUMBER11:703

Sum (digits (3740,10)) = 14