Love is the meaning of life.
Theorems are eternal; their proofs are ephemeral.