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.

位卑者不怕攀登高山，贫困者勿需点缀虚幻的光环，朝圣者心中自有上帝，引导一路向前。

Every work of art is an uncommitted crime.

过去从未死去，它甚至还未过去。

Success is not the key to happiness. Happiness is the key to success.