Differentiable function/D in R/Chain rule/Fact

Chain rule

Let denote subsets, and let

and

be functions with . Suppose that is differentiable in and that is differentiable in .

Then also the

composition

is differentiable in , and its derivative is