1: \begin{proof}

2: By using the inequality 

3: \[

4: |P(\theta)-\tilde{a}^1|_{\nu}\leq  |P(\theta)-P^{MK}(\theta)|_{\nu} + |P^{MK}(\theta)-\tilde{a}^1|_{\nu}\leq r_{P} + |P^{MK}(\theta)-\tilde{a}^1|_{\nu}

5: \] 

6: we can rigorously check for any given $\theta$ if the true image $P(\theta)$ lies in $\mathcal{A}$. This computation is carried out using Matlab and Intlab in the program. In case of success it follows immediately from Lemma \ref{lem:attr_domain} that there is a connecting orbit from $\tilde{a}^2$ to $\tilde{a}^1$. The Matlab script \verb|proofconnection.m| available at \cite{parmPDEcode} carries out this check. It is called at the end of the script \verb|unstablec1_intval.m|, which computes and validates the parametrization.

7: 

8: \end{proof}

9: