>>609
>P2が7集点以上のときには5集点以上になる。
>このとき私の証明法は正しい。

>>580にも書いたことだが、
{3集点, 4集点, 5集点}の組み合わせは不可避集合であるが、
5集点の部分をさらに詳しくした不可避集合の組み合わせを求めることが
できる。
この場合、{3集点, 4集点, 5集点と5集点が隣接, 5集点と6集点が隣接}
の組み合わせが不可避集合である。