theorem :: XPRIMES0:212

not 212 is prime