theorem :: XPRIMES0:1312

not 1312 is prime