theorem :: XPRIMES2:9337

9337 is prime