The product of two transposes satisfies
where Einstein summation has been used to implicitly sum over repeated indices.
I don't understand this proof. From (3) to (4) they are using the commutative property on the product of two matrices? I thought that wasn't true in general.