>>700
グラフの頂点の数をnとすると、
各頂点の辺の数は0以上n-1以下。
また辺が0本の頂点と、n-1本の頂点の両方があることはあり得ない。
(0本の頂点とn-1本の頂点の間に辺が有っても無くても矛盾)
後は引きだし論法