木の次数列
$ D_i=頂点$ iの次数とする。$ N頂点のグラフが木であることは、以下と同値
すべての$ iについて、$ D_i \geq 1
$ \sum D_i=2N-2
必要性は自明。
十分性は、必ず$ D_i=1である$ iと$ D_j \neq1である$ jが存在して(すべて$ 1や$ 2だと$ \sum D_i=2N-2を満たさない)、次数$ 1の頂点を次数$ 2以上の頂点と結ぶと$ N-1頂点のグラフの問題となるので数学的帰納法より示せる。