1: \begin{proof} To sketch the proof, pick a subdivision of 

2: the components of $M^{(2)}\setminus (f^{-1}(\mathcal{U})\cup M^{(1)})$

3: into the fewest possible triangles. First homotope $f$ relative to $f^{-1}(\mathcal{U})$,

4:  so that the image of the sides of these triangles becomes geodesic in

5:  their corresponding pieces. Then relatively homotope $f$ 

6:  further, so that the image of these triangles becomes ruled in their corresponding

7:  pieces. If we fix $f|_{M^{(0)}}$, as $\epsilon\to0$, the image of these triangles

8:  converges to geodesic (possibly degenerate) triangles in hyperbolic pieces,

9:  and to horizonally-geodesic (possibly degenerate) triangles in $\HypEuc$-geometric pieces (in the sense of being

10:  geodesic after projecting onto the base-orbifold). Moreover, for each $2$-simplex

11:  of $M^{(2)}$, all except at most one triangle above contained in this $2$-simplex becomes degenerate

12:  in the above sense, while the exceptional one has area at most $\pi$. 

13:  Thus, for sufficiently small $\epsilon>0$, the area of $M^{(2)}$ can be bounded by $2t\pi$ where $2t$ is

14:  the number of $2$-simplices of $M^{(2)}$ with our notations. Using standard hyperbolic geometry estimations,

15:  it is not hard to make the arguments above rigorous, but we omit the details here for conciseness.

16: \end{proof}

17: