theorem :: XPRIMES0:221

not 221 is prime