se cumple, se dice que formula_5 es un elemento del conjunto formula_6.