theorem :: XPRIMES0:1293

not 1293 is prime