Resulta que sí existe tal operador, y ciertamente para cualquier formula_7, existe un operador formula_8 tal que