theorem :: XPRIMES1:5701

5701 is prime