theorem :: XPRIMES2:9323

9323 is prime