En la teoría de polinomios, el lema de Gauss, o Criterio de la irreducibilidad de Gauss, afirma que si D {\displaystyle D\,} es un dominio de factorización única y K {\displaystyle \mathbb {K} } es su cuerpo de cocientes, entonces el contenido de dos polinomios dados con coeficientes en D {\displaystyle D} es el producto de contenidos y todo polinomio primitivo p ∈ D [ x ] {\displaystyle p\in D[x]} es irreducible en D [ x ] {\displaystyle ~D[x]} si y sólo si lo es en K [ x ] {\displaystyle \mathbb {K} [x]}. Wikipedia