theorem :: XPRIMES2:9343

9343 is prime