Existence and uniqueness of minimal polynomial #lemma
Minimal polynomial divides any polynomial with matrix as a root #lemma
Characteristic polynomial divides any polynomial to the power of n with matrix as a root #lemma
Corollary of two lemmas above
Jordan decomposition theorem #theorem
Diagonalization and minimal polynomial #theorem