1: $

2: 	\end{lemma}

3: 	

4: 	\begin{lemma}[Convergence of $