Theorems are eternal; their proofs are ephemeral.
定理是永恒的;它们的证明是短暂的。
The goal of mathematics is to understand the patterns of the universe.