Theorems are eternal; their proofs are ephemeral.
在发现自己掉进坑里的时候,最重要的事情就是停止挖掘。