Если неприводимый многочлен делится на неприводимый многочлен, то они отличаются числовым множителем.

Доказательство.

Докажем первое утверждение. Если , то утверждение верно. Пусть не делится на, тогда и найдутся многочлены и , что . Умножим полученное равенство на : . В левой части равенства все слагаемые делятся на , следовательно, .

Второе утверждение следует непосредственно из определения неприводимого многочлена.

Теорема 2.13 Многочлен над числовым полем единственным образом раскладывается в произведение неприводимых многочленов, с точностью до перестановки сомножителей и числовых множителей.

Доказательство проведём индукцией по числу сомножителей. Если многочлен имеет один сомножитель, то он неприводим, и теорема верна. Пусть теорема верна для любого многочлена, разлагающегося на не более n-1 сомножителей. Допустим, найдётся многочлен, имеющий как минимум два разложения на неприводимые множители (). Поскольку произведение делится на , то найдётся номер i, что делится на . Переставим сомножители так, чтобы i=s. Многочлены и отличаются числовым множителем. Следовательно, . По предположению индукции s-1=n-1 и сомножители отличаются только порядком и числовыми коэффициентами. Теорема доказана.