Linear mapping/Diagonalizable/Characterizations/Fact