theorem :: XPRIMES2:7949

7949 is prime