1: $. 

2: \begin{theorem}

3: \label{theorem_convergence_algorithm7}

4: For any $