我们之所以能够感知事物的变化，是因为单子在无限的变化中保持了稳定的内在本质。

The more we have, the more we want.

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.