1: $.

2: \begin{theorem}

3: \label{theorem_convergence_algorithm4}

4: For any $