Cayley-Hamilton/Minimal polynomial and characteristic polynomial/Fact/Proof

< Cayley-Hamilton < Minimal polynomial and characteristic polynomial < Fact
Proof

This follows directly from fact and fact.