Bezout's Identity Definition

A theorem in the elementary theory of numbers: let a and b be integers, not both zero, and let d be their greatest common divisor . Then there exist integers x and y such that ax + by = d.