authenticating
brainec
Rolle's theorem
continuous
differentiable
(has derivative in each point of the interval)
on