theorem :: XPRIMES1:5237

5237 is prime