theorem :: XPRIMES0:1316

not 1316 is prime