theorem :: XPRIMES0:1314

not 1314 is prime