I was studying Theorem 4.4.1 from John H. Hubbard's Teichmuller Theory, vol I, Theorem 4.4.1 ( P. 129 ) which states :

Let $X,Y$ be two hyperbolic Riemann surfaces with hyperbolic metrics $d_X,d_Y$ respectively and let $K\geq 1 $.Then there exists a function ( homeomorphism of positive real numbers) $\delta_K:(0,\infty)\to(0,\infty)$ such that $\lim_{\eta\to 0}\delta_K(\eta)=0$ such that for all $K$-q.c maps $f:X\to Y$, we have $dist_Y(f(x),f(y))\leq \delta_K(dist_X(x,y))$.

The way he proves it is the following : 1) It is enough to prove the statement for the universal cover ,i.e. the Poincare disk $D$, since a $K$-q.c. map lifts to a $K$-q.c map.

2) He defines $\delta_K(\eta)= M^{-1}(\frac{1}{K}M(\eta) )$, where $M$ is the modulus of the branched/ramified cover with ramification locus being the two-point set $P={z_1,z_2}$, which ( modulus ) he proves depends only on the hyperbolic distance $dist_D(z_1,z_2)$ . ( Lemma 4.4.2) and is a strictly decreasing homeomorphim of the positive real numbers.

My questions are :

Hubbard proves that the branched/ramified double cover of $D$ with ramification locus a two-point set is topologically a cylinder. But then how do we know that this cylinder has a finite modulus , i.e. the cylinder is not conformally equivalent to $C-{0},D-0 $ ? Well, in proposition 4.4.6 ( P. 132 ),he proves it, but that is only after proving Thm 4.4.1.

I am unable to follow the lines 4.4.2 and 4.4.3, in the proof of lemma 4.4.2 ? What does he mean exactly by his notation $ (D~_r)_ {0,z} $ ?

Is he scaling the standard hyperbolic metric on $D$ ? And why exactly the inclusion of the cylinders ( ramified covers ) in the line 4.4.3 true ? Please explain , thanks !