Satz von Bezout

Zu a,bZa,b\in \mathbb{Z} gibt es x,yZx,y\in \mathbb{Z} mit

ggT(a,b)=xa+yb\operatorname{ggT}(a, b)=xa+yb