theorem :: XPRIMES0:318

not 318 is prime