Demostración: En vista de (a), solo queda demostrar que, en caso de que formula_3 sea inyectiva, formula_288.