1: \begin{proof}

2: Using rigorous computation we first check 

3: 

4: \medskip

5: 

6: \noindent

7: \textbf{Numerical Check A.} \textit{For a certain point $(a^{\pm}, b^{\pm})\in\mathcal{F}^{\pm}\cap \{b\ne 0\}$ satisfying $a^{\pm}>2(1+|b^{\pm}|)^2$, the inclusion $K_{a^{\pm}, b^{\pm}}\subset \R^2\cap\mathcal{B}^{\pm}$ holds.}

8: 

9: \medskip

10: 

11: As was seen in the proof of Theorem~\ref{quasitrichotomy} (Quasi-Trichotomy), we know that $f_{a, b}$ is a hyperbolic horseshoe on $\R^2$ for any $(a, b)\in\R\times\R^{\times}$ satisfying $a>2(1+|b|)^2$, therefore $h_{\mathrm{top}}(f_{a, b}|_{\R^2})=\log 2$ follows. By Theorem 10.1 of~\cite{BLS}, this yields $K_{a, b}\subset\R^2$. Hence, the above numerical check is reduced to a computation in $\R^2$ and so its cost is cheap. Then, we use the semi-continuity of $(a, b)\mapsto K_{a, b}$, continuity of $(a, b)\mapsto \mathcal{B}_i$ and the (CMC) to conclude $K_{a, b}\subset \mathcal{B}^{\pm}$ for all $(a, b)\in \mathcal{F}^{\pm}\cap\{b\ne 0\}$. 

12: \end{proof}

13: