1: \begin{proof}

2: We verify the following claim by using rigorous numerics. 

3: 

4: \medskip

5: 

6: \noindent

7: \textbf{Numerical Check D.}

8: \textit{Let $(a, b)\in\mathcal{F}^-$. Then, one of the following (i) and (ii) holds; 

9: %

10: \begin{enumerate}

11: \renewcommand{\labelenumi}{(\roman{enumi})}

12: \item for every fixed $v_0\in D_{v, 3}^-$ we have 

13: %

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

15: %

16: 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}^-_1))$,

17: \item for every fixed $v_0\in D_{v, 3}^-$ we have 

18: %

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

20: %

21: 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}^-_1\cap f^{-1}(\mathcal{B}^-_2)))$.

22: \end{enumerate}

23: }

24: 

25: \medskip

26: 

27: Since $f : \mathcal{B}^-_1\cap f^{-1}(\mathcal{B}^-_2)\to\mathcal{B}^-_2$ is a crossed mapping of degree one, the case (i) yields that $f^3 : \mathcal{B}^-_3\cap f^{-1}(\mathcal{B}^-_4\cap f^{-1}(\mathcal{B}^-_1\cap f^{-1}(\mathcal{B}^-_2)))\to\mathcal{B}^-_2$ is a crossed mapping of degree two satisfying the (OCC), hence is of horseshoe type. In the case of (ii) we immediately obtain the same conclusion. Hence, in both cases we obtain Proposition~\ref{3.8}. 

28: \end{proof}

29: