debiera haber un formula_13 en formula_6 tal que