定理是永恒的;它们的证明是短暂的。
Theorems are eternal; their proofs are ephemeral.
The most important single aspect of software development is to be clear about what you are trying to build.
The joy of drawing is in the freedom to create worlds that don't exist.