theorem :: XPRIMES0:1274

not 1274 is prime