theorem :: XPRIMES2:9133

9133 is prime