1: $.

2: 

3: \begin{lemma}\label{lemma-convergence-exterior}

4: Let $