The product of two transposes satisfies

(2)

(3)

(4)

(5)

(6)

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.