1: \begin{proof}

2: Having defined the coordinate change isomorphisms when $\lambda$ and

3: $\lambda'$ are related by a diagonal exchange or a reindexing,

4: Chekhov and Fock define $\Phi_{\lambda,\lambda'}^q$ for general $\lambda$,

5: $\lambda'$ as follows. They connect $\lambda$ to $\lambda'$ by a sequence

6: $\lambda=\lambda^{(0)}$, $\lambda^{(1)}$, \dots, $\lambda^{(k)}=\lambda'$

7: such that each $\lambda^{(i)}$ is obtained from $\lambda^{(i-1)}$ by a

8: diagonal exchange or a reindexing; the existence of such a sequence is

9: for instance guaranteed by \cite{Penner87, Harer86, Hatcher91}. Then they

10: define $\Phi_{\lambda,\lambda'}^q$  as

11: $$

12: \Phi_{\lambda,\lambda'}^q= \Phi_{\lambda,\lambda^{(1)}}^q\circ

13: \Phi_{\lambda^{(1)},\lambda^{(2)}}^q \circ \dots

14: \Phi_{\lambda^{(k-1)},\lambda'}^q

15: $$

16: and show that this is independent of the sequence of $\lambda^{(i)}$

17: connecting $\lambda$ to $\lambda'$. (The possibility of non-embedded

18: diagonal exchanges in this sequence is neglected by Chekhov

19: and Fock, and is rigorously dealt with in \cite{Liu04}).

20: 

21: Hatcher \cite{Hatcher91} proves a stronger result, namely that one can

22: choose the sequence of reindexing and diagonal exchanges in

23: which all the $\lambda^{(i)}$ are contained in the discrepancy span

24: $D(\lambda, \lambda')$. If one uses this sequence to define

25: $\Phi_{\lambda,\lambda'}^q$, it becomes evident that

26: $\Phi_{\lambda,\lambda'}^q$ satisfies the Locality Condition.

27: \end{proof}

28: