theorem :: XPRIMES0:1738

not 1738 is prime