如何证明，对于任意
ϕ(λ)∈R[[λ]]\phi(\lambda)\in\mathbb R[[\lambda]]ϕ(λ)∈R[[λ]]
存在一个独特的
A(x)∈R[[x]]+:={∑n≥1anxn:an∈R}A(x)\in\mathbb R[[x]]_+ := \left\{\sum_{n\ge1} a_nx^n:a_n\in\mathbb R\right\}A(x)∈R[[x]]+:={∑n≥1anxn:an∈R}
使得 A(x)=xϕ(A(x))A(x)=x\phi(A(x))A(x)=xϕ(A(x))，且对于 n≥1n\ge1n≥1 有
[xn]A(x)=1n[λn−1]ϕ(λ)n[x^n]A(x)=\frac{1}{n}[\lambda^{n-1}]\phi(\lambda)n[xn]A(x)=n1[λn−1]ϕ(λ)n
