theorem :: XPRIMES2:6911

6911 is prime