Differentiable function/D open in K/Chain rule/Fact