Fig. 18.

(Color figure online) Proof of Lemma 4.6, Case 3(b)iii: If neither $(z_x,x)$ or $(z_y,y)$ is movable, we can make at least one of them movable by moving the long edge of its triangle “further up”