Bézout's identity

Proper noun

 * 1)  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.