Вторая основная теорема утверждает, что идеал соотношений имеет конечный базис. Это означает, что можно выбрать среди них конечное число соотношений F₁, ..., F_h, для которых каждое соотношение F будет представимо в виде

F = Q₁F₁ + ... + Q_hF_h, (1)

где Q_i — многочлены от переменных z₁, ..., z_m.