theorem :: XPRIMES2:8923

8923 is prime