theorem :: XPRIMES2:7937

7937 is prime