theorem :: XPRIMES0:1270

not 1270 is prime