Differentiable function/D in R/Continuity in point/Fact/Proof