Reminder
Triangularizable matrix #definition
Upper and lower triangularizable matrix #lemma
Triangularizable matrix #lemma
Properties of triangularizable matrix #lemma
Matrix polynomial expression #definition
Existence of polynomial with the given matrix as a root #lemma
Adjoint of a transpose #lemma
Product of matrix and its adjoint #theorem
Cayley-Hamilton theorem #theorem