Sea formula_14 un cuerpo y formula_25 un polinomio irreducible, entonces existe alguna extensión formula_26 de manera que formula_27 tiene alguna raíz en formula_11.