Sea formula_5 un cuerpo y formula_4 una extensión de formula_5 que contiene un elemento formula_322 transcendente sobre formula_5.