If you want to fly, you have to give up the things that weigh you down.
Theorems are eternal; their proofs are ephemeral.