theorem :: XPRIMES2:7951

7951 is prime