theorem :: XPRIMES0:1222

not 1222 is prime