ゴッツマンとリニアル(1992年)は、Γ(H)≥h(n) for every H with ∣V(H)∣=2n−1 と、すべてのブール関数 f に対する s(f)≥h(deg(f)) が同値であることを証明した。前者の H では、H とその補グラフの一方が少なくとも 2n−1+1 個の頂点を持つ。定理1.1に h(n)=n を適用すると s(f)≥deg(f) が得られる。
このステップの用語
単調関数
すべての n について h(n)≤h(n+1) を満たす関数 h のこと。ここではゴッツマン・リニアル同値における一般的な下界の形として使われる。