Endomorphism/Diagonalizable/Algebraic and geometric multiplicity/Fact