podremos hallar formula_13 en formula_6 tal que formula_166.