theorem :: XPRIMES2:7333

7333 is prime