Talk:The Prisoner of Benda

What's the theorem?

The algorithm is presented just after all the swaps are done to bring everyone back. It's shown for a split second as a full on written answer.