Es decir, se define formula_11