Herbrand's theorem (proof theory)