theorem :: XPRIMES2:6971

6971 is prime