連結なグラフの補グラフ

タイトルは要改善

頂点数3以上のグラフGが非連結である場合、任意の頂点aについて、ある非連結な頂点bがある(もしないならグラフが非連結であることと矛盾するので)

この時、aでもbでもない任意の頂点cについて、acとbcの両方の辺がGに存在することはない(もしあればcを介してaとbが連結するので)

補グラフHを考えると辺abはHに含まれ、またacかbcのいずれかはHに含まれるので、abcは連結である