שינויים
/* הוכחה */
ולכן <math>p(A)v=p(A)\sum_{i=1}^{n}\alpha_iv_i=\sum_{i=1}^{n}\alpha_ip(A)v_i=0</math>
אם <math>p(A)\neq 0</math> אז קיימת לה עמודה <math>j</math> שונה מאפס, אזי <math>p(A)e_j=C_j(p(A))\neq 0</math>. אבל ראינו ש <math>\forall v \in V :p(A)v=0</math> ולכן <math>p(A)=0</math> ולכן <math>p=m_A</math>.
