theorem :: XPRIMES2:9203

9203 is prime