theorem :: XPRIMES2:7963

7963 is prime