theorem :: XPRIMES1:4937

4937 is prime