Hospital/Differentiable in inner interval/Fact/Proof