Prove that matrix multiplication is associative. In other words, suppose $A,B,C$ are matrices whose sizes are such that $(AB)C$ makes sense. Prove that $A(BC)$ makes sense and that $(AB)C = A(BC)$.

TODO