1: $

2: as desired.

3: \end{proof}

4: 

5: 

6: \begin{lemma}\label{lemma:normal_convergence}

7: Let $