Herbrand's theorem refers to either of two completely different theorems. One is a result from his doctoral thesis in proof theory, and the other one half of the Herbrand-Ribet theorem on the class group of cyclotomic number fields. The Herbrand quotient is a type of Euler characteristic,