Resulta del hecho formula_88, y esto implica formula_89.