I rediscovered this nice paper by Kenneth P. Bogart in my Interesting Esoterica collection, and decided to read through it. It turned out that, while the solution presented is very neat, there’s quite a bit of hard work to do to along the way. I’m not particularly experienced with combinatorics, so the little facts that the paper skips over took me quite a while to verify.
Once I was happy with the proof, I decided to record a video explaining how it works. Here it is:
I probably made mistakes. If you spot one, please write a polite correction in the comments.