theorem :: XPRIMES1:739

739 is prime