Queda claro que formula_6 es formula_7, ya que formula_8 es redundante pues hablamos de elementos de formula_9 y, es decir, derivaciones a formula_10 precisamente en formula_8.