theorem :: XPRIMES1:4003

4003 is prime