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