1: $.

2: \begin{theorem}

3: \label{theorem_convergence_algorithm3}

4: For any $