5色必要なグラフは平面上では
あるわけないだろ、んなもん。
この一連の証明の流れを乱さないでほしい。