Cuando formula_6 y formula_85 son elemento de formula_44 se cumple que