theorem :: XPRIMES0:316

not 316 is prime