existe un funcional lineal formula_16 tal que