Orthogonality of Eigenvectors for Distinct Eigenvalues (Symmetric Case)