theorem :: XPRIMES2:7603

7603 is prime