Eigenvectors Corresponding to Distinct Eigenvalues Are Linearly Independent