ידוע שאם הפ"א מתפרק לגורמים לינאריים, אזי הפ"מ=פ"א, ולכן גם הפ"מ הוא מהצורה דלעיל.
ל-<math>B</math> יש אותו הפ"א, <math>(x-\lambda_1)(x-\lambda_2)...(x-\lambda_n)</math>, ולכן גם הפ"מ שלה הוא הביטוי הנ"ל.(מאותו הנימוק עבור <math>A</math>)
קיבלנו שגם ל-<math>B</math> יש <math>n</math> ע"ע שונים ב-F.