Real function/Open interval/Local extrema/Differentiable/Derivative zero/Fact/Proof