Linear mapping/Different eigenvalues/Diagonalizable/Fact

Let denote a field, and let denote a finite-dimensional vector space. Let

denote a linear mapping. Suppose that there exists different eigenvalues.

Then is diagonalizable.