挑战让生活有趣，克服它们让生活有意义。

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.

Happiness is not the belief that we don't need to change; it is the realization that we can.