这个证明 柔和的毕加索暗示涉及将问题彻底解决1000测试用例并通过计算机进行检查。因此,几乎没有理论的涉及数学,所以没有人真正知道为什么这是真的.
等价的6色定理可以用初等方法很容易地证明图论.五色定理的证明更难,但第一次还是可以理解的-学期图论的学生。再一次,这里只是不四色定理的一个已知的令人满意的理论证明。