1: \begin{proof}

2: For a rigorous proof of this lemma, the reader is referred to \cite{gaotemporal}.

3: \end{proof}