theorem :: XPRIMES1:4243

4243 is prime