Linear mapping/Diagonalizable/Characterizations/Fact/Proof