En efecto, supongamos que formula_30 es un elemento cualquiera de formula_14 y sea formula_23 un elemento de formula_29.