也叫作排除法。

  把所有可能性推除，但到了最后，不就证明出理论了么？！

  “我估计最多1小时，就能推算到10万个国家……再推算下夫也行，但没什么实际意义……”

  李岩朝着一旁的任老和刘老说着，两个人都是点了点头：“行，那就让电脑先计算吧……我们等待一小时，一小时后，我得把证明成果都带走，这是证明的珍贵资料！”

  “好，我在家已经做讨了一遍实验，没有任何问颗…至于这道程序，是可以用数学公式推导的，相信数学院可以把自动制图的程序用数学公式推导出来……到时候凭借证明过程，再加上电脑计算，四色猜想的证明，就此成立！”

  李岩说这话的时候，脸色没有任何情绪。

  但一旁的任老和刘老，却是有些老泪纵横。