Linear mapping/Diagonalizable/Eigentheory/Section