1: \begin{proof}

2: It follows as application of Theorem \ref{th:radii_pol} and Lemma~\ref{lem:rigorous_eigen}

3: \end{proof}

4: