Bezout’s lemma (number theory)

Let $a,b$ be integers, not both zero. Then there exist two integers $x,y$ such that:

$$ax+by=\gcd (a,b).$$

This does not only work on $\mathbb{Z}$ but on every integral domain where an Euclidean valuation has been defined.