Ометим еще, что теорема 4.6 формулируется в данном случае так: степень примитивного ОНД многочленов 
из 
равна номеру первого отличного от тождественного нуля субрезультанта в строке (4.17).
Для отмеченных многочленов старшие коэффициенты ассоциированы с единицей, а потому для них примитивный ОНД совпадает с ОНД и определяется по формуле
является 
то все утверждения пп. 4.2 и 4.3 справедливы для многочленов кольца 
. В этом случае результант 
и все субрезультанты являются степенными рядами от 
и представляют собою аналитические функции в начале координат. Ввиду этого запись 
означает
