Differentiable function/D in R/Inverse function/Fact/Proof