theorem :: XPRIMES1:5003

5003 is prime