theorem :: XPRIMES1:4007

4007 is prime