1: $. 

2: \begin{theorem}

3: \label{theorem_convergence_algorithm8}

4: For any $