d1bdddcb1a036e9d.tex
1: $. By Lemma \ref{lemma.weak convergence phi_K}, $