משפט גיבארד-סטרת'ווייט – הבדלי גרסאות

ואכן זה מתקיים משום ש- <math>Z\left(P^N,W^N;\left\{a,b\right\}\right)= Z\left(Q^N,W^N;\left\{a,b\right\}\right) </math>, '''ולכן <math>F</math> מקיימת את עקרון האי תלות באפשרויות לא רלוונטיות.'''<br><br>