theorem :: XPRIMES0:1468

not 1468 is prime