theorem :: XPRIMES2:6029

6029 is prime