843f04bf9cd84d4b.tex
1: $ and, by Lemma \ref{convergence_extension_ofthe_restriction}, 
2: $