1: $.

2: \end{lemma}

3: \begin{lemma}\label{partial_a_theta_convergence_zero} Let $