theorem :: XPRIMES0:222

not 222 is prime