En su forma más básica el teorema dice que dada una extensión de cuerpos "E"/"F" que sea finita y Galois, existe una correspondencia uno a uno entre sus cuerpos intermedios (cuerpos "K" que satisfacen "F" formula_1 "K" formula_1 "E"; también llamados subextensiones de "E"/"F") y los subgrupos de su grupo de Galois.