theorem :: XPRIMES0:312

not 312 is prime