Notemos que si formula_119 es el polinomio minimal del elemento formula_22 y formula_137 es un polinomio tal que formula_340, entonces formula_341.