1: \begin{proof}

2:   This almost follows immediately from~\cref{P:volume_skel,lem:Dmax} except

3:   we need to take care of the fact that a vertex can be incident to many

4:   blocks in the layer above it. However, such a number is still Geometric,

5:   so the lemma follows. We make this rigorous below.

6: 

7:   For every edge $e$ in $(\bigcup_iS_i )\cap B_{sk}(r+1)$,

8:   consider the first edge to the right or left of this edge whose block has

9:   nonempty lower boundary. Since the blocks are independent and every

10:   block has a positive probability of having a non-zero lower

11:   boundary, the set of edges $S_e$ we need to check until we find such an

12:   edge has a Geometric number of elements. Using this information and \cref{lem:Dmax}, we see that the maximal

13:   degree $d_e$ of vertices in in all these blocks corresponding to

14:   edges in $S_e$ has exponential tail. It

15:   is easy to see that $\Delta \le 2\max_e d_e$ where the maximum is

16:   over all the edges in $(\cup_i S_i )\cap B_{sk}(r+1)$.

17:   Now using \cref{P:volume_skel}, we know that $\P(B_{sk}(r)>r^5)$

18:   converges to $0$. We can take a union bound over

19:   $r^5$ many edges on the event $\{B_{sk}(r)\le r^5\}$  and choose a large enough $C$ to arrive at

20:   the desired conclusion.

21: \end{proof}

22: