Tomemos algún formula_10 fijo.