1: $.

2: \end{proof}

3: 

4: \begin{lem}\label{lemma: convergence}

5: Assume (A1) and (E). Then $