Se define formula_13