If I could say it in words there would be no reason to paint.
如果我能用语言表达,就没有理由画画了。
Theorems are eternal; their proofs are ephemeral.
A good abstraction is one that emphasizes the important details and suppresses the unimportant ones.