Theorems are eternal; their proofs are ephemeral.
定理是永恒的;它们的证明是短暂的。
预测未来的最好方法就是创造未来。