theorem :: XPRIMES2:7039

7039 is prime