I confirmed the contraction identity by composing down Each individual case for all indices. But that is not a evidence, simply a verification, and I feel verifying in a similar manner for 4th dimension will probably be cumbersome.I'm using the Einstein notation, so multiple indices are summed) or they offer two three-indices symbols with unique si