Tenemos que formula_88 , si formula_89 entonces tenemos que: