Gauss's Lemma

A statement in polynomial arithmetic over the integers (and more generally over unique factorization domains) that relates primitivity and irreducibility: the product of primitive polynomials is primitive, and a primitive polynomial is irreducible over the rationals if and only if it is irreducible over the integers.