theorem :: XPRIMES0:1221

not 1221 is prime