Proving associativity of matrix multiplication
Your proof is fine.
We can change the order of summation as the sum is finite. When we mention multiplication is associative, we might want to mention multiplicative of which object, such as multiplicative of real numbers or complex number.