formula_1 se cumple que formula_139 es un elemento de