theorem :: XPRIMES0:314

not 314 is prime