theorem :: XPRIMES2:6709

6709 is prime