Matrix multiplication
THEOREM
Matrix multiplication is associative.
Proof available