theorem :: XPRIMES0:214

not 214 is prime