theorem :: XPRIMES0:268

not 268 is prime