theorem :: XPRIMES2:6037

6037 is prime