theorem :: XPRIMES2:6961

6961 is prime