Theorems are eternal; their proofs are ephemeral.
真相很少是纯粹的,也从来不是简单的。