theorem :: XPRIMES0:1211

not 1211 is prime