La aplicación del operador "A" al bra formula_2 da lugar al bra formula_32, definido como funcional lineal en "H" por la regla