A few pages into his “Display Logic”, Nuel Belnap gives a few equivalences between forumlas. Since it is a logic paper, the equivalences must be proved. So, he gives the proof: “Proof: by diddling.”

I hope to have enough logic cred someday to write a paper featuring a proof like that.