==4==
תהיינה A,B מטריצות דומות
===א===
הוכח כי לשתי המטריצות אותו פולינום אופייני ולכן גם אותם ע"ע
===ב===
יהי פולינום '''כלשהו''' <math>g(x)=a_0+a_1x+...+a_nx^n</math>.
הוכח כי המטריצות <math>g(A),g(B)</math> דומות
(תזכורת: <math>g(A)=a_0I+a_1A+...+a_nA^n</math>)
==5==