人生は、小さな幸せの積み重ねでできている。

种一棵树最好的时间是20年前，其次是现在。

艺术不必有任何意义，它只需要对你有意义。

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.