I confirmed the contraction identification by composing down Each individual case for all indices. But that is not a proof, only a verification, and I believe verifying in the same fashion for 4th dimension will likely be cumbersome.I'm utilizing the Einstein notation, so a number of indices are summed) or they give two three-indices symbols with d