1: \begin{proof}

2: The same arguments as Theorem \ref{thm-inv-mfd-rigorous} for $(a_1, b, y)\in N_j\cap N_{j+1}\cap W^s(S_\epsilon)_j$ and $(a_2, b, y)\in N_j \cap N_{j+1}\cap W^s(S_\epsilon)_{j+1}$ with a fixed $(b,y)$ yield the result.

3: \end{proof}

4: