G を b の二次式と見る。最高次係数は 2c の平方+1>0、判別式は −8(c の平方−1) の平方≤0 である。したがって任意の実数 b で G(b)≥0、F の判別式は非正で F(a)≥0 となる。