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.