Lemma 3.7. Assuming that:

  • φ:V→ℝ

  • ⟨φ,1⟩=0

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