Redirecting to Herbrand's theorem (proof theory)