שינויים

<math>(a=-c)\and(2b=0)\and(b=a)\and(a=b+c)</math> אם"ם

אם כן, הצירוף הלינארי היחיד שמתאפס הינו הטריוויאלי ולכן הפולינומים בת"ל.