I confirmed the contraction identity by crafting down Each and every circumstance for all indices. But that is not a evidence, simply a verification, and I do think verifying in a similar style for 4th dimension will probably be cumbersome.I'm utilizing the Einstein notation, so several indices are summed) or they provide two three-indices symbols