—— 请按键盘 空白键 开始游戏 ——

使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.
插画应该向读者低语秘密,而不是大声喊出显而易见的东西。
我已做了所有的打算,其余就交给上帝了。
你永远不知道你的坏运气为你避免了什么更糟糕的运气。