ある任意のグラフでＮ−１点以下のグラフは４配色可能な配色が１つは
存在するということ。
>・両方つながってる場合はあるかもしれない(ないとは言えない)
は全ての配色を言っているのではない。片方切れている配色が必ず存在する。