theorem :: XPRIMES1:4993

4993 is prime