Bézout's identity

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.