1: $.

2: \begin{lemma}\label{l:ConvergenceGeneratorAll}

3: Fix~$