La razón es que si formula_88, entonces existe un formula_89 tal que formula_90 y formula_91 o sea que formula_84 y formula_93, y con esto formula_83, que como ya vimos significa que formula_95.