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.

孔子说：“君子有九种事情要考虑：看要考虑是否看清楚了、听要考虑是否听清楚了、脸色要考虑是否温和、表情要考虑是否谦恭、言谈时要考虑是否忠诚、工作时要考虑是否敬业、疑问时要考虑请教、愤怒时要考虑后患、见到好处时要考虑道义。”

有比我更好的起跑者，但我是强大的终结者。

世界会打击每一个人，但经历过后，许多人会在受伤的地方变得更坚强。

当一盏灯熄灭时，比它从未亮起时要黑暗得多。

写作是一种勇气的行为，是与自我和世界的对抗。