Demostración: En vista de (d), solo queda demostrar que, si formula_188, entonces formula_191.