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.