Prove that the hyperbolic length of a differentiable curve γ does not depend on thechoice of the parametrizations.
