theorem :: XPRIMES2:6991

6991 is prime