theorem :: XPRIMES0:1318

not 1318 is prime