theorem :: XPRIMES0:1714

not 1714 is prime