Linear mapping/Different eigenvalues/Diagonalizable/Fact