1: \begin{proof}

2: Label the leaves of the tree $\mathcal A_n$ by the index of their time of addition (so the leaf added at time $J_1$ has label 1, and so on). 

3: With this leaf-labeling, $\mathcal A_n$ becomes an ordered tree: the first child of an internal node is the one containing the smallest labeled leaf. 

4: Let $f_n$ be the ordered contour process of $\mathcal A_n$, that is the function (excursion) $f_n:[0,1] \to [0,\infty)$ obtained by recording the distance from the root when 

5: traveling along the edges of the tree at constant speed, so that each edge is traversed exactly twice, 

6: the excursion returns to zero at time $1$, and the order of traversal of vertices respects the order of the tree. (See \cite{aldous93crt3} for rigorous details, and \cite{legall05survey} for further explanation.) 

7: Then by \cite{aldous93crt3}, Theorem 20 and Corollary 22 and Skorohod's representation theorem, 

8: there exists a probability space on which $\| f_n - 2\be \|_{\infty} \to 0$ almost surely as $n \to \infty$, where $\be$ is a standard Brownian excursion. But $2\be$ is the contour process of the Brownian CRT, 

9: and by \cite{legall05survey}, Lemma 2.4, convergence of contour processes in the $\|\cdot\|_\infty$ metric implies Gromov--Hausdorff convergence of compact real trees, so $\mathcal A_n$ converges to the Brownian CRT as claimed. 

10: \end{proof}

11: