theorem :: XPRIMES0:262

not 262 is prime