Como formula_20 es un operador unitario se cumple que formula_21.