Distinct eigenvalues imply diagonalizability

Eigenvectors belonging to distinct eigenvalues are linearly independent. Consequently, an $n$-dimensional operator with $n$ distinct eigenvalues is diagonalizable.