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