Lema de Gauss

Una afirmación en aritmética de polinomios sobre los enteros (y más generalmente sobre dominios de factorización única) que relaciona primitividad e irreducibilidad: el producto de polinomios primitivos es primitivo, y un polinomio primitivo es irreducible sobre los racionales si y solo si lo es sobre los enteros.