1: \begin{proof}

2: Let $\It(p)=\itn{p}=\mathtt{p_1p_2\ldots}$, $\It(q)=\itn{q}=\mathtt{q_1q_2\ldots}$, and $\It(r)=\itn{r}=\mathtt{r_1r_2\ldots}$ be the itineraries of the points $p$, $q$ and $r$. By correctness of the triod algorithm (see Lemma \ref{lem:Correctness}), it is enough to show that $\itn{b}(\itn{p},\itn{q},\itn{r})=\itn{p}$.

3: 

4: By Theorem~\ref{thm:LandingBehavior}, there exist addresses $\ad{q}$ and $\ad{r}$ satisfying $\It(\ad{q}~\vert~\ad{s})=\itn{q}$ and $\It(\ad{r}~\vert~\ad{s})=\itn{r}$. The triod $[\ad{p},\ad{q},\ad{r}]$ is called a triod of external addresses associated to $[\itn{p},\itn{q},\itn{r}]$ (this terminology is introduced rigorously in Section~5). It will be shown in Section~5 that $[\itn{p},\itn{q},\itn{r}]$ has the same shape as the triod $[\ad{p},\ad{q},\ad{r}]$ of associated external addresses.

5: Finally, Lemma~\ref{lem:CombSeparatingRays} implies that $\itn{b}(\itn{p},\itn{q},\itn{r})=\itn{p}$.

6: \end{proof}

7: