Lemma 4. Any shortest path between a corner vertex in and an arbitrary vertex v involves moving the largest disk zero times if v ∈ [i ]; once otherwise.
Lemma 4. Any shortest path between a corner vertex in and an arbitrary vertex v involves moving the largest disk zero times if v ∈ [i ]; once otherwise.