このことは、グラフが大きさ "k" の独立集合を持つとき、その補グラフ(頂点は同じだが、辺が相補的なグラフ)は大きさ "k" のクリークを持つという事実から導かれる。