Linear mapping/Different eigenvalues/Diagonalizable/Fact/Proof

Proof

Because of fact, there exist ${}n$ linearly independent eigenvectors. These form, due to fact, a basis.

To fact