Let $f:[a, b] \rightarrow \mathbb{R}$ be a differentiable function such that $f^{\prime}$ is continuous on $[a, b]$ and $f^{\prime}(x) \neq 0$ for all $x \in[a, b]$. If $f([a, b])=[c, d]$, then show that $f^{-1}:[c, d] \rightarrow \mathbb{R}$ is integrable and
$$
\int_{c}^{d} f^{-1}(y) d y=f^{-1}(d) d-f^{-1}(c) c-\int_{f^{-1}(c)}^{f^{-1}(d)} f(x) d x
$$
(Hint: Propositions $6.25$ and $6.26 .$ )