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

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.
The most sustainable product is the one that lasts the longest.
真相是,我不知道自己为何写作。我只知道我必须写。