Proof: Let lambda be an eigenvalue of A and consider m(x). Note m(A)=0, so the previous lemma says m(lambda)=0. By the Factor Theorem from elementary algebra, (x-lambda) is a factor of m(x).

Up to Jordan Form and Minimal Polynomials