theorem :: XPRIMES2:7103

7103 is prime