Displaying similar documents to “On Herbrand's theorem”