theorem :: XPRIMES0:1868

not 1868 is prime