theorem :: XPRIMES2:9923

9923 is prime