theorem :: XPRIMES2:6997

6997 is prime