theorem :: XPRIMES2:7933

7933 is prime