30adffa52cce8590.tex
1: $
2: (in this proof, all convergences are as~$