theorem :: XPRIMES0:1310

not 1310 is prime