命題
K を実数体または複素数体とする。
f = Σc_αX^α ∈ K{{X_1, ..., X_n}} (>>275) とする。
C(f) (>>274) から K への写像 f~ を f~(x) = f(x) により定義する。

このとき、任意の α ∈ (Z+)^n に対して、
c_α = (1/α!)(∂^α)f~(0) である。

証明
>>306より、(∂^α)f~(0) = (∂^α)f(0) である。
>>301より、c_α = (1/α!)(∂^α)f(0) である。
よって、c_α = (1/α!)(∂^α)f~(0) である。
証明終