theorem :: XPRIMES1:4999

4999 is prime