Solution (source code)

= Solution

<Rolle's theorem> states that if a real <function> $h$ is continuous on $[a,b]$, differentiable on $(a,b)$, with $a<b$ and $h(a)=h(b)$, then some $c\in(a,b)$ satisfies $h'(c)=0$.