Bezout's theorem is a more general version of Bezout's identity, which applies to any two elements of a Euclidean domain.