1: $

2: \cqd

3: 

4: 

5: \begin{lemma} 

6: \label{convergence_extension_ofthe_restriction}

7: Let $