Hospital/Differentiable in inner interval/Fact