Theorems are eternal; their proofs are ephemeral.