Bézout's identity

Short definition from Wiktionary

Proper noun

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