「その contraction を行った N-2 点の graph は、
4彩色不可能」かあるいは｢３彩色可能｣のいずれかであると
述べている。
論理的には矛盾を引き出すため「なんらかの色の指定を満たしつつ 4彩色不可能」
と述べている。
これは証明方法として当たり前の手順なんだが、分かるかな。