theorem :: XPRIMES1:211

211 is prime