/>有向辺で表したグラフを考える。/>が正しく規格化されていることを示せ。/>正しく規格化されていると仮定する。/>x1が根ノードになる。/>xKからスタートしてノードの逆順に残すことができる。/>辺がない順番のようなものである有向グラフについて考察する。/>この有向閉路に属するのは同じ番号である性質を満たさなければならない。/>終わらなければならないので、ノード順は単調増加することができない。ClipboardCancelSave。