theorem :: XPRIMES2:7237

7237 is prime