第四章 哈罗德的刁难问题(2/2)

“要证明四色猜想，只要证明不存在一张五色地图就足够了。

利用反证法，假设有五色地图，就会存在国数最少的‘极小五色地图’，如果极小五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在五色地图了。”

写完后，肖恩大致看了一下没有错误，就放下笔，坐到沙发上等待起来。

……