Title: A generalization of herbrand's theorem