1: $ from \cref{th:recurs_local_convergence}, that is, $