Calculating the trace reduces the number of the Kronecker symbols by one, and the rank of the harmonic tensor on the right-hand side of the equation decreases by two. Repeating the calculation of the trace k times eliminates all the Kronecker symbols: