theorem :: XPRIMES2:9029

9029 is prime