theorem :: XPRIMES2:9733

9733 is prime