エルブランの定理は、下付き分岐群についてformula_116が成り立ち(formula_66に対応する部分拡大をformula_118とし、formula_119とおいている)、上付き分岐群についてformula_120が成り立つという主張である。