>>640-641
>よってＰ０はまわりに７集点以上の頂点が存在しなければならない。
>この場合に限って矛盾が生じる。
>>580, >>612でも書いたことなのだが、
不可避集合は3集点, 4集点, 5集点であるが、この場合の5集点は
最低でも1つの5集点あるいは最低でも1つの6集点に隣接していることが
既に証明されている。
証明については>>580のpdfを見てくれ。