我相信梦想的力量。

质量不是声明；它是一种证明。

恋爱是艰苦的，不能期待它象美梦一样出来。

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.