theorem :: XPRIMES2:6977

6977 is prime