>>507
>>正確には、P1=A, P3=Cを接合した場合はACチェーンが切れている4彩色が必ず存在する。
これでは、５色の反例が必ず存在する、ということ証明しようとしている。

>>1-506をよく読んでくれ。話はそれからだ。