theorem :: XPRIMES2:9007

9007 is prime