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.
"Bezout's lemma (number theory)" is owned by mathwizard.
