Fig. 14.
(Color figure online) Proof of Lemma 4.6, Case 1(b)iiA: If (z, x) is not movable because of the triangle with long edge (c, d), and the parent of c is not the root of N, then we move the tail of (c, d) ‘further up’ in order to make (z, x) movable