Como formula_132, tenemos que formula_139.