Consideremos el caso formula_95 y sea