1. The puzzle

2. Preliminaries

3. Lemmas

4. Proof of the Main Lemma

5. The 15-puzzle redux