1: \begin{proof} We first give an intuitive explanation based on the pictures in Appendix \ref{app:ex}. As one can see, each connected component of $\Gamma_{4}^{m}$ is supported on at most 2 adjacent diagonals (except for $n-1$ separated intervals around the main diagonal). Each of those component is a `comb', i.e. an interval (in one diagonal) with some leaves (from the other diagonal) attached to some of its vertices (not more than one leaf for each vertex of the interval). Such a `comb' is evidently a tree of maximal degree $\leq 3$.

2: 

3: We repeat the above considerations {rigorously} for general $n$.

4: % We have to show that, for all $m \in M$, the graph $\Gamma_{4}^{m}=(V^{m},E^{m}):=\gr_{w_{3},m}(\Gamma_3)$

5: % is a forest with maximal degree $\leq 3$.

6: Decompose $\Gamma_4^m$ in the following way: Decompose $I=\bigcup _{l=-n,\dots, n}I_l$, where $$I_l=\{(i,j)\in I | i-j=l\}.$$

7:  Define  $\Delta_l=(V_l,E_l) \subset \Gamma_3$, by

8: 

9: 

10:  $$V_l=\begin{cases}I_l \cup I_{l+1} & l<0 \\

11:  I_l \cup I_{l-1} & l>0 \\

12:  I_1 \cup I_{-1} & l=0 \\

13: \end{cases}$$

14: 

15: and

16: 

17:  $$E_l=\begin{cases}  E \cap (I_l^{(2)} \cup I_l \times I_{l+1} ) & l<0 \\

18: E \cap (I_l^{(2)} \cup I_l \times I_{l-1} ) & l>0\\

19:  E\cap (I_1 \times I_{-1}) & l=0 \\

20: \end{cases}.$$

21: Here we consider the product of 2 disjoint subsets of $I$ as a subset of $I^{(2)}.$

22: 

23: 

24: It is easy to see that $\Gamma_{4}^{m}$ is a union of isolated vertices and the graph $$\bigsqcup_{l \equiv m \textrm{ (mod 3)}}\Delta_l,$$ so it is enough to show that  $\Delta_l$ are forests of maximal degree $3$. The case $l=0$ is obvious since $\Delta_0$ is a disjoint union of edges. For the other cases, the degree estimate is also easy.  The forest property follows from the facts that the restriction of $\Delta_l$ to $V_l$ is a union of segments and that all other vertices have degree at most $1$.

25: \end{proof}

26: