theorem :: XPRIMES0:1317

not 1317 is prime