theorem :: XPRIMES2:9403

9403 is prime