Satz von Bezout

Zu $a,b\in \mathbb{Z}$ gibt es $x,y\in \mathbb{Z}$ mit $\mathrm{ggT}(a,b)=xa+yb$