As Boolean functions on edge indicators,
Thus is the dual Boolean function of the clique function. Given a monotone circuit for , swap every AND gate with an OR gate and swap the constants zero and one. De Morgan's laws show that the resulting circuit has the same size and computes . The lower bound from part (v), with the same choice of , therefore applies to .