LEMA 4.6.

• 
Sea entonces

Donde, son enteros y los no tienen factor común mayor que 1 (es decir, son
relativamente primos) y

Fuente: Álgebra Abstracta; I. N. Herstein

• 
Demostración.

Sea el anillo de polinomios sobre el campo racional

Sea .

Donde cada .

Entonces,

Fuente: Álgebra Abstracta; I. N. Herstein

• 

Luego, sean

Entonces

Fuente: Álgebra Abstracta; I. N. Herstein

•Cada
  tienen factores comunes entres sí, supongamos que es el
máximo común divisor de

Así, , donde son enteros con factor común .

Es decir,
son primos entre sí.

Fuente: Álgebra Abstracta; I. N. Herstein

•Sea
  , el máximo factor común de y .
Entonces,

Entonces,

Y además,

Por lo tanto,

Fuente: Álgebra Abstracta; I. N. Herstein