theorem :: XPRIMES1:5099

5099 is prime