theorem :: XPRIMES1:223

223 is prime