<math>p_A(x)=(x-\lambda_1)^{r_1}\cdots(x-\lambda_k)^{r_k}</math>.
'''אם נותר בפולינום גורם שאינו מתפרק לגורמים לינאריים כאלה, אז המטריצה אינה לכסינה.'''ואפשר לעצור כאן.
<math>\lambda_1,\dots,\lambda_k</math> הם הערכים העצמיים השונים של <math>A</math>,