Lemma 3.7. Assuming that:

  • φ:V

  • φ,1=0

Then there is ψ:V0 such that qL~G(ψ)qL~G(ψ), |suppψ|=|{x:ψ(x)>0}||V|Q and any threshold cut for ψ is a threshold cut for φ.