Video duration: 156 seconds
Global video hits: 206/div
Since preliminary 1, 2, 4 and the spectral theorem are currrently MIA, I have to confiscate a webcam and a chalkboard somewhere to refilm the rest.
Anyways, here is a short speedy proof of showing that eigenvectors of hermitian linear operators corresponding to distinct eigenvalues are orthogonal.