Real function/Local extremum/Differentiable/Derivative zero/Fact/Proof