x un elemento de formula_23.