1: \begin{definition}\label{d:f_HL}

2: Let $H$ and $L$ be as in Proposition \ref{p:gira_e_rigira}. After applying \cite[Theorem~1.5]{DSS2} to $T_L\res \bC_{32r_L} (p_L, \pi_H)$ in the cylinder $\bC_{32 r_L} (p_L, \pi_H)$ we denote by $f_{HL}$ the corresponding $\pi_H$-approximation. However, rather then defining $f_{HL}$ on the disk $B_{8 r_L}  (p_L, \pi_H)$, by applying a translation we assume that the domain of $f_{HL}$ is the disk $B_{8r_L} (p_{HL}, \pi_H)$ where $p_{HL} = p_H + \p_{\pi_H} (p_L - p_H)$. Note in particular that $\bC_r (p_{HL}, \pi_H)$ equals $\bC_r (p_L, \pi_H)$, whereas $B_{8r_L} (p_{HL}, \pi_H) \subset p_H + \pi_H$ and $p_H\in \B_{8r_L}(p_{HL},\pi_H)$. 

3: \end{definition}

4: