>>535
N点のグラフが与えられたとき、P0を除きN−1点のグラフを得る。
N−1点以下のグラフは4彩色可能と仮定する。
このグラフから接合をするとN−2点のグラフを得る。
接合の定義を読んでください。
このN−2点のグラフが3彩色可能か5彩色になり矛盾するかのいずれかである。
このところをよく理解してください。