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