Đại số giao hoán, IX, p. 42
Cho A ký hiệu vành Z[(Xn)n∈N,(Yn)n∈N] các đa thức theo hai họ bất định (Xn) và (Yn), và B là vành Z[X,Y] các đa thức theo hai bất định X và Y. Với mọi đa thức R của B, tồn tại duy nhất một dãy các đa thức (Rn)n∈N của A sao cho, với mọi n∈N, ta có
R(Φn(X0,...,Xn),Φn(Y0,...,Yn))=Φn(R0,...,Rn).
Ta có R0=R(X0,Y0) và Rn không phụ thuộc vào các Xi và Yi với i>n. Nếu R thuần nhất bậc r đối với X (tương ứng Y, tương ứng (X,Y)) và nếu với mỗi i∈N ta gán trọng số pi cho Xi và Yi, thì Rn là đẳng trọng có trọng số rpn đối với (Xi)i∈N (tương ứng (Yi)i∈N, tương ứng ((Xi)i∈N,(Yi)i∈N)). Nếu R là hằng, Rn là hằng. Xét các trường hợp R=0,1,−1,X+Y,XY,−X.