theorem :: XPRIMES0:1294

not 1294 is prime