theorem :: XPRIMES1:4957

4957 is prime