1: \begin{proof}

2: From Theorem~\ref{thm:spectral_radius} and Lemma~\ref{lemma:fixed_point}, our iterator is valid if and only if $\rho(\Iterator) < 1$. The iterator $\Iterator$ only depends on $A, G$, and is independent of the constant $c$ in \Eqref{eq:Phi}. Thus, the validity of the iterator is independent with $f$ and $b$. Thus, if the iterator is valid for some $f_0$ and $b_0$, then it is valid for any choice of $f$ and $b$.

3: 

4: % From \Eqref{eq:Phi}, $\Phi_H$ converges to a stable fixed point if $\rho(\Iterator) < 1$. In addition, if $\rho(\Iterator) \geq 1$, then after $k$ iterations we have

5: % \[ u^k = (\Iterator)^k u^0 + \cdots \]

6: % \s{this is sloppy, write out the complete formula}

7: % where $\cdots$ are terms that do not contain $u^0$. Therefore only when $u^0$ has zero component on eigenvectors of $T+\Hb T-\Hb$ with eigenvalues $\geq 1$, the above iteration can converge. \s{what about eigenvalue 1?}

8: % \s{this argument is not rigorous. show why this is the case}

9: % Such vectors are nowhere dense. \s{why?}

10: % Unless $u^0$ belongs to this nowhere dense set,

11: % %\s{i thought it was only a necessary condition?}

12: % if $\Phi$ converges, we must have $\rho(\Iterator) < 1$. This proves that it is valid. \s{??? this is not the def of valid}

13: % In addition, $\rho(\Iterator)$ does not depend on $f, b$, therefore, if it is valid for some $f, b$, we have $\rho(\Iterator)<1$, so it must be valid for every $f, b$. \s{why do you even need the first part of the argument then?}

14: \end{proof}

15: