theorem :: XPRIMES0:1214

not 1214 is prime