J = c + L₁i₁ + ... + L_mi_m, (L_rIk_x),

(2)

где c = J(0). Если степень J равна ?, то, не нарушая равенства (2), можно избавиться в L_r от всех членов степени, большей ? – ?_r. Если бы нам удалось каким-нибудь способом заменить коэффициенты L_r в (2) на инварианты, то мы получили бы нужное нам утверждение с помощью индукции по степени J. В случае конечной группы это легко можно сделать — надо воспользоваться процессом усреднения. Линейное преобразование U(s) переменных x₁, ..., x_n, определяемое элементом s, переводит (2) в