命題 A を可換環とする。 A[X_1、．．．、X_n] を n 変数の多項式環とする。 s_k（1 ≦ k ≦ n） を次数 k の基本対称多項式（>>66）とする。 f ≠ 0 を A[X_1、．．．、X_n]_sym（>>64）の元で同次多項式（>>124）とする。 >>111より G ∈ A[X_1、．．．、X_n] で f = G(s_1、．．．、s_n) となるものが存在する。 >>120より G は f により一意に定まる。 このとき G は同重（>>125）でその重さ（>>125）は f の次数（>>121）に等しい。
f の主係数（>>101）を c とする。 f = c(s_1)^(a_1)．．．(s_n)^(a_n) なら G = c(X_1)^(a_1)．．．(X_n)^(a_n) とおけば f = G(s_1、．．．、s_n) となり n = e_1 + ．．． + e_n = a_1 + 2a_2 + ．．．+ na_n これは G の重さに等しい。
