>>567
>N-1点以下のグラフには可約な頂点が必ず含まれるのに、
>可約配置を全て取り除いたグラフで帰納法が成り立つの？
数え上げの公式から分かるように、４集点以下のグラフは無視してよい。
５集点以上のグラフを対象に帰納法を適用している。
従って接合後のグラフに必ず４集点の可約配置なグラフがあるとは言えない。