theorem :: XPRIMES2:9103

9103 is prime