>>52
あるグラフが四彩色可能であるとき、そのグラフに「接合」という操作を行った
ものが常に四彩色可能であることが証明されていなければ、その矛盾は
導けないと思うが？
つか、「接合」すると五色必要になると言っているんだよな？