theorem :: XPRIMES1:4933

4933 is prime