Theorems are eternal; their proofs are ephemeral.
定理是永恒的;它们的证明是短暂的。
数学是给不同事物起相同名字的艺术。
The unexamined life is not worth living.