Linear mapping/Different eigenvalues/Diagonalizable/Fact/Proof

< Linear mapping < Different eigenvalues < Diagonalizable < Fact
Proof

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