theorem :: XPRIMES0:1262

not 1262 is prime