Theorems are eternal; their proofs are ephemeral.
Mental tranquility is the highest good.
数学不仅仅是关于数字、方程、计算或算法:它是关于理解的。
The world is full of obvious things which nobody by any chance ever observes.