 Note that the above gcd condition is stronger than the mere existence of a gcd.An integral domain where a gcd exists for any two elements is called a GCD domain and thus Bézout domains are GCD domains.In particular, in a Bézout domain, irreducibles are prime (but as the algebraic integer example shows, they need not exist).