theorem :: XPRIMES2:6947

6947 is prime