Supongamos que el teorema sostiene para todos los polinomios de grado menor quen. Dado queK es un campo de división dep(x), todas las raíces dep(x) están enK. ...Supongamos que el teorema sostiene para todos los polinomios de grado menor quen. Dado queK es un campo de división dep(x), todas las raíces dep(x) están enK. Elige una de estas raíces, digamosα, tal queE⊂E(α)⊂K. De igual manera, podemos encontrar una raízβ deq(x) en Ltal queF⊂F(β)⊂L. Por Lemma21.32, existe un isomorfismo\(\overline{\phi} : E(\alpha ) \r…