1: $\ref{lemma:convergence indentity approximation}$