Así, como formula_10, entonces tenemos que formula_11.