theorem :: XPRIMES1:4703

4703 is prime