Se define el operador diagonal formula_3 como: