theorem :: XPRIMES2:8933

8933 is prime