theorem :: XPRIMES2:6917

6917 is prime