theorem :: XPRIMES1:1223

1223 is prime