theorem :: XPRIMES1:5923

5923 is prime