theorem :: XPRIMES0:1315

not 1315 is prime