1: $.

2: \end{proof}

3: 

4: 

5: 

6: Next lemma shows convergence of the sets $