theorem :: XPRIMES2:9293

9293 is prime