theorem :: XPRIMES0:1268

not 1268 is prime