theorem :: XPRIMES1:5233

5233 is prime