I confirmed the contraction identification by creating down Every single situation for all indices. But that is not a evidence, simply a verification, and I feel verifying in a similar trend for 4th dimension is going to be cumbersome. I am utilizing the Einstein notation, so many indices are sum