theorem :: XPRIMES1:233

233 is prime