En las notas pone: "Se tiene $l(f ) \in I_n \subseteq I_{\overline{n}}$, por lo que $ℓ(f ) =\sum_{j≤k_\overline{n}}λ_{\overline{n}j} a_{\overline{n}j}$ . Si$n ≤\overline{n}$, el polinomio $f −\sum_{j≤k_\overline{n}}λ_{\overline{n}j}f_{\overline{n}j} \in J$ es nulo o de grado estrictamente menor que n". Pero si $n < \overline{n}$ en realidad  $f −\sum_{j≤k_\overline{n}}λ_{\overline{n}j}f_{\overline{n}j}$ no es de grado menor a n, porque f es de grado n y $f_{\overline{n}j}$ es de grado $\overline{n}$. No debería ser, dividir primero entre el caso $n< \overline{n}$ y el caso $n\geq \overline{n}$, y en el primero poner $f-\sum_{j≤k_n}λ_{nj}f_{nj}$ para poder anular el término líder de $f$?.