Linear Algebra 22d: Symmetric Matrices (Even with Repeated Eigenvalues) Have Orthogonal Eigenvectors