dd75a9adcdde758f.tex
1: $ by Lemma~\ref{the:MixedBiasedERConvergence}. Then select $