“看到个湖，想起什，很熟悉，好像哪种图形，但一刹那过去，又想起了。”
汤领又想了想，说：“其中最先想到了一个四猜想。
用数学语言表示即：将平面任意地细分相重叠区域，每一个区域总可以用四个数字一标记而会使相邻两个区域得到相同数字。
里所指相邻区域指一整段边界公共。
如果两个区域只相遇于一点限多点就叫相邻。
因用相同颜给它们着会引起混淆。
本质正维平面固属，即平面内可出现交叉而公共点两条直线。
很多证明了维平面内无法构造五个五个以上两两相连区域，但&xeoo将其上升到逻辑关系层面。
对图论展推动。
利用计算机做证明，做了百亿次判断，终只在庞大数量优势上取得成功，但并符合数学逻辑体系。”
“肯普证明里阐明了两个重要概念。
第一个概念‘构形’。
他证明了在每一张正规地图中至少一国具两个、三个、四个五个邻国，存在每个国家都六个更多个邻国正规地图，也就说，由两个邻国，三个邻国、四个五个邻国组成一组构形可避免，每张地图至少四种构形中一个。
肯普提出另一个概念‘可约’。
他证明了只要五地图中一国具四个邻国，就会国数减少五地图。
自从引入构形、可约概念，逐步展了检查构形以决定否可约一些标准方法，证明四问题重要依据。
但要证明大构形可约相当复杂。”
“哈肯与阿佩尔合作编制一个很好程序，在年月，在两台同电子计算机上，用了oo个小时，作了oo亿判断，终于完成了四定理证明。”
展顾约说：“个湖水样式和四问题点类似，湖面被切割成很多块。
但块数太少了，仍然疑点。”
刘莫芝说：“者某种几何问题。”
董趋说：“知道其他拓扑问题。”
拓扑学?何学?个分?，但种?何学?和通常平??何、?体?何同。
通常平??何?体?何研对象点、线、?间位置关系以及它们度量质。
拓扑学对于研对象长短、??、?积、体积等度量质和数量关系都?关。
余承说：“们留个联系方式，如果姜先生联系，们相互通知。”
展顾约说：“好。”
他们找个位子坐下，和板点个早点，油条，笋尖馄饨，豆沙方糕。
