Recordemos que decimos que un cuerpo formula_4 es una extensión de un cuerpo formula_5, ssi, formula_5 es un subcuerpo de formula_4.