Definition:Differentiable