שינויים

'''<math>f_A(A)=s(A)M_A(A)+r(A)\ =>\ 0=s(A)\cdot 0+r(A)</math>, כלומר, r גם מאפס את A. אבל הפולינום היחיד שמאפס את A אשר דרגתו קטנה מזו של הפ"מ (כנדרש עבור פולינום השארית r) הוא פולינום האפס, לכן <math>r=0 </math> ו-<math>f_A(x)=s(x)M_A(x)</math> כנדרש. עדי