This video describes the proofs of theorems involving matrix multiplication. This is more complicated than addition, but still workable.
No download links available.
