Gauss's lemma (polynomials)
In algebra, Gauss's lemma, named after Carl Friedrich Gauss, is a theorem about polynomials over the integers, or, more generally, over a unique factorization domain (that is, a ring that has a unique factorization property similar to the fundamental theorem of arithmetic). Gauss's lemma underlies all the theory of factorization and greatest common divisors of such polynomials.
Source: Wikipedia — Gauss's lemma (polynomials) (CC BY-SA 4.0)