theorem :: XPRIMES0:1739

not 1739 is prime