theorem :: XPRIMES2:6007

6007 is prime