Sea formula_4 una extensión del cuerpo y sea formula_361 un subcuerpo de formula_4.