Differentiable function/D in R/Chain rule/Fact/Proof