Lemma 7.3:

If $\gamma_1^\prime$ and $\gamma_1^{\prime \prime}$ are two homotopic paths starting at $\gamma_0(1)$ then

$$\gamma_0 \ast \gamma_1^\prime \sim \gamma_0 \ast \gamma_1^{\prime \prime}$$