補題
A を可換環とする。
g^(1), ..., g^(m) ∈ A[[X_1, ..., X_n]] のとき、
g = (g^(1))^(a_1)...(g^(m))^(a_m) とおく。
ここで、a_1, ..., a_m は整数 ≧ 0 である。
このとき、
∂g/∂X_i
= Σ(a_i - 1)(g^(1))^(a_1)...(g^(j))^(a_j - 1)...(g^(m))^(a_m)∂g^(j)/∂X_i

ここで Σ は a_j ≧ 1 となる j 全体に渡る。

証明
>>237と>>238による。