Differentiable function/D open in K/Linear approximation/Fact/Proof