Linear mapping/Different eigenvalues/Diagonalizable/Fact/Proof