1: $

2: \end{thm}

3: \begin{proof1}

4: 	See Appendix~\ref{app:th:FNEconvergence}. \hfill $