Linear Algebra 22c: Symmetric Matrices Have Orthogonal Eigenvectors