(a,b)(a,b)(a,b) に誤解を招く線形条件を課すのではなく、実際の yyy の値を用いて bbb を aaa と yyy で表す。
方程式 y2+ay+b−2=0y^2+ay+b-2=0y2+ay+b−2=0 は b=2−y2−ayb=2-y^2-ayb=2−y2−ay と同値である。従って、∣y∣≥2|y|\ge2∣y∣≥2 を満たす対応する実数 yyy をもつ任意の実行可能な (a,b)(a,b)(a,b) に対し、目的式は表示した式になる。