theorem :: XPRIMES2:9239

9239 is prime