theorem :: XPRIMES2:6703

6703 is prime