1: \begin{proof}

2: Parts (i)--(iii) are  basic M/M/1 queueing theory.   Proofs can be found for example in Lemma B.2 in Appendix B of \cite{fan-sepp-arxiv}.  

3: 

4: For part  (iv),   the marginal distributions of $\depav^1$ and $\depav^2$ are the correct ones  by Lemma \ref{lm:DR5}(iii). To establish the correct joint distribution,   the definition of $(\arrv^1, \arrv^2)$ points us to find an i.i.d.\ Exp$(\alpha_2)$  random sequence $\zvec$ that is independent of $\depav^1$ and satisfies $\depav^2=   \Dop( \zvec, \depav^1)$.  From the definitions and  Lemma \ref{lm:DR}, 

5: \begin{align*}

6: \depav^2=\Dop(\arrv^2,\servv) =  \Dop\bigl( \Dop( \barrv^2, \arrv^1),\servv\bigr)

7: = \Dop\bigl( \Dop(\barrv^2, \Rop(\arrv^1, \servv)), \Dop(\arrv^1, \servv)\bigr)

8: = \Dop\bigl( \Dop(\barrv^2, \wc\servv^1), \depav^1\bigr).

9: \end{align*} 

10: By assumption $\barrv^2, \arrv^1, \servv$ are independent. Hence by Lemma \ref{lm:DR5}(iii)   $\barrv^2, \wc\servv^1, \depav^1$ are independent.  So we take $\zvec=\Dop(\barrv^2, \wc\servv^1)$  which is an  i.i.d.\ Exp$(\alpha_2)$    sequence by Lemma \ref{lm:DR5}(iii).  This proves part  (iv).

11: 

12:  We know that marginally $\arrv^1$ and  $\arrv^2$ are i.i.d.\ sequences.  In queueing language observation (v) becomes obvious. Namely, since $\arrv^2  =    \Dop( \barrv^2, \arrv^1)$, the statement is that past inter-departure   times 

13: $\{ \arr^2_i\}_{i\le m}$ are independent of future inter-arrival times $\{\arr^1_j\}_{j\ge m+1}$.  Rigorously,  \eqref{m:800} and \eqref{DSR4} show  that variables $\{ \arr^2_i\}_{i\le m}$ are functions of $(\{\barr^2_i\}_{i\le m}\,, \{\arr^1_i\}_{i\le m})$ which are independent of $\{\arr^1_j\}_{j\ge m+1}$. 

14: \end{proof}