I verified the contraction identity by crafting down each circumstance for all indices. But that's not a proof, just a verification, and I believe verifying in a similar manner for 4th dimension will probably be cumbersome.I'm using the Einstein notation, so various indices are summed) or they give two 3-indices symbols with distinctive signIs ther