Proof. It suffices to show that there exists no such path that moves the largest disk
at least twice. This suffices since every shortest path between a corner vertex and an
arbitrary vertex that moves the largest disk more than zero times, when v ∈ [i ], or
more than once, when v /∈ [i ], has to move the largest disk at least twice