Satz von Bezout

Zu a,b∈Za,b\in \mathbb{Z} gibt es x,y∈Zx,y\in \mathbb{Z} mit

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