theorem :: XPRIMES2:7703

7703 is prime