Así, si formula_9 es formula_10.