I am reading GTM 9, and I am trying to compute a structure constants of an abstract Lie algebra using Jacobi identity: $[x[yz] + [y[zx]] + [z[xy]] = 0$. Apply it on $[x_l [x_i x_j] + [x_i [x_j x_l]] + [x_j [x_l x_i]] = 0$ and use $[x_i x_j] = \sum_k a_{ij}^k x_k$.
My question is why need not we sum by index m? Just k?
