theorem :: XPRIMES2:6959

6959 is prime