A theorem that states that for any two integers a and b, there exist integers x and y such that ax + by = gcd(a,b).