Polynomial division theorem
Divisibility of polynomial lemma
Algebraic and geometric multiplicities limits lemma
Geometric multiplicity is at most algebraic multiplicity theorem
Linear independency of eigenvectors in respect to distinct eigenvalues lemma
Union of Eigenspace bases theorem
Diagonalizability and geometric multiplicities lemma
Diagonalizability criterion theorem