Sea formula_1 una extensión de formula_2, y sea formula_10 un subcuerpo de formula_1 que es a su vez extensión de formula_2.