 Eilenberg–Niven theorem

The Eilenberg–Niven theorem is a result in number theory that characterizes the structure of the set of integers that can be expressed as the greatest common divisor (gcd) of two polynomials with integer coefficients. More specifically, the theorem addresses the conditions under which such gcds can take on certain values.