1) four colour theorem
四色定理
1.
Some new propositions equivalent to the four colour theorem are given and the properties of new minimal graphs are discussed.
研究了平面图的４染色问题和圈上的４染色之间的关系，给出了与四色定理等价的一些命题，并研究了一类新的极小图的性质，给出了平面图是４可染色的一些新的特征和性质。
2) four color theorem
四色定理
1.
The conjecture is equvalent to the four color theorem when k=5.
Hadwiger提出如下猜想:若G是k色图,则包含子式Kk,其中k=5时等价于四色定理。
3) four-color process
四色处理
4) Four chord theorem
四弦定理
5) four theorems
四大定理
1.
Its main feature is emphasis on the law s "efficiency" value, and to make use of its "four theorems" to analyze legal problems concretely.
经济分析法学是以经济学的假设、方法和基本原理对法律的本体、运行、价值、源流演进等法律现象和法律规律进行描述、阐释、预测、评判和提出改进意见的法学体系,其主要特征是强调法律的“效率”价值,并运用“经济分析法学四大定理”对法律问题进行具体的经济分析。
6) seven color theorem
七色定理
补充资料：四色定理
Image:FourColorMapEx.png
四色地图的一个例子
四色定理指出每个可以画出来的地图都可以至多用4种颜色来上色，而且没有两个相接的区域会是相同的颜色。被称为相接的两个区域是指他们共有一段边界，而不是一个点。
这一定理最初是由Francis Guthrie在1853年提出的猜想。很明显，3种颜色不会满足条件，而且也不难证明5种颜色满足条件且绰绰有余。但是，直到1977年四色猜想才最终由Kenneth Appel 和Wolfgang Haken证明。他们得到了J. Koch在算法工作上的支持。
证明方法将地图上的无限种可能情况减少为1,936种状态（稍后减少为1,476种），这些状态由计算机一个挨一个的进行检查。这一工作由不同的程序和计算机独立的进行了复检。在1996年，Neil Robertson、Daniel Sanders、Paul Seymour和Robin Thomas使用了一种类似的证明方法，检查了633种特殊的情况。这一新证明也使用了计算机，如果由人工来检查的话是不切实际的。
四色定理是第一个主要由计算机证明的理论，这一证明并不被所有的数学家接受，因为它不能由人工直接验证。最终，人们必须对计算机编译的正确性以及运行这一程序的硬件设备充分信任。参见实验数学。
缺乏数学应有的规范成为了另一个方面；以至于有人这样评论“一个好的数学证明应当像一首诗——而这纯粹是一本电话簿！”
说明：补充资料仅用于学习参考，请勿用于其它任何用途。