Misalkan \(D\) suatu UFD dan \(F\) lapangan pecahannya. Polinomial primitif \(p(x)\) dalam \(D[x]\) tak tereduksi dalam \(F[x]\) jika dan hanya jika polinomial tersebut tak tereduksi dalam \(D[x]\text{.}\)