（４）
z = f(x, y) が微分可能で、 x = x(u, v), y = y(u, v) が偏微分可能ならば、

z = f(x(u, v), y(u, v)) は偏微分可能で、

∂z/∂u = (∂z/∂x) * (∂x/∂u) + (∂z/∂y) * (∂y/∂u)
∂z/∂v = (∂z/∂x) * (∂x/∂v) + (∂z/∂y) * (∂y/∂v)

が成り立つ。


（４）は松坂和夫著『解析入門中』に書いてあります。

（２）と（４）はどっちがいいんですかね？