1: \begin{proof}

2: The following claim can be verified by using rigorous numerics.

3: 

4: \medskip

5: 

6: \noindent

7: \textbf{Numerical Check C.}

8: \textit{Let $(a, b)\in\mathcal{F}^-$. Then, for every fixed $v_0\in D_{v, 3}^-$ we have 

9: %

10: \[\frac{\partial}{\partial u}\left\{\pi_u \circ f^2(u, v_0)\right\}\ne 0\]

11: %

12: for all $u\in D_{u, 3}^-$ with $(u, v_0)\in \mathcal{B}^-_3\cap f^{-1}(\mathcal{B}^-_4\cap f^{-1}(\mathcal{B}^-_3))$.}

13: 

14: \medskip

15: 

16: From this it follows that $f^2 : \mathcal{B}^-_3\cap f^{-1}(\mathcal{B}^-_4\cap f^{-1}(\mathcal{B}^-_3))\to\mathcal{B}^-_3$ is a crossed mapping of degree two satisfying the (OCC), hence is of \textit{horseshoe type}, i.e. $\mathcal{B}^-_3\cap f^{-1}(\mathcal{B}^-_4\cap f^{-1}(\mathcal{B}^-_3))$ has two connected components and the restriction of $f^2$ to each component is of degree one.

17: 

18: Take a horizontal disk $D_0$ of degree one in $\mathcal{B}^-_3$ through $p_3$. When $b\ne 0$ (resp. $b=0$), $\mathcal{B}^-_3\cap f(\mathcal{B}^-_4\cap f(D_0))$ consists of two horizontal disks (resp. one horizontal disk) of degree one in $\mathcal{B}^-_3$ by the discussion above. Choose the one containing the fixed point $p_3$ and call it $D_1$. We repeat this procedure to obtain a sequence of horizontal disks $D_n$ of degree one in $\mathcal{B}^-_3$. By Lambda Lemma, $D_n$ converges to $V_{\mathrm{loc}}^u(p_3)$ in the Hausdorff topology, hence $V_{\mathrm{loc}}^u(p_3)$ is a horizontal disk of degree one in $\mathcal{B}^-_3$.

19: \end{proof}

20: