>>651
5集点が可約かどうか分からないところから証明が始まっているので
5集点が可約でないと言い切れない状態でACチェーンかADチェーン
の接合を行って矛盾が生じるから5集点は可約配置だと言っている。
Nが小さいときサッカーボールの配色が具体例になる。