theorem :: XPRIMES1:4943

4943 is prime