Sea formula_22 un elemento de formula_4.