Dado un elemento formula_2 de formula_3