Se define un operador formula_3 tal que