用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
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 a finite problem.
The only person you are destined to become is the person you decide to be.
The legacy of the coal industry will be defined by what we do today.
尊重自然，顺应自然。
有时候最简单的歌曲最难写。
我坚信努力工作和奉献会有回报。