theorem :: XPRIMES1:5939

5939 is prime