En efecto, pues de formula_31, se sigue formula_27 para algún formula_33, es decir, para algún formula_34, por lo que formula_35.