Differentiable function/D in R/Linear approximation/Fact/Proof