theorem :: XPRIMES1:4273

4273 is prime