1: $.

2: 

3: \begin{lemma}\label{L1*convergence}

4: Suppose that $