theorem :: XPRIMES2:6701

6701 is prime