Gcd not implies Bezout
From Commalg
This article gives the statement and possibly, proof, of a nonimplication relation between two integral domain properties. That is, it states that every integral domain satisfying the first integral domain property need not satisfy the second integral domain property
View a complete list of integral domain property nonimplications  View a complete list of integral domain property implications Get help on looking up integral domain property implications/nonimplications

Statement
There exist gcd domains which are not Bezout domains.
Proof
Since every UFD is a gcd domain, it suffices to construct an example of a UFD which is not a Bezout domain. In particular, it suffices to construct an example of a Noetherian UFD which is not a PID. One such example is the multivariate polynomial ring over a field, i.e. the polynomial ring over a field, in more than one variable.