Bézout's identity
In mathematics, Bézout's identity (also called Bézout's lemma), named after Étienne Bézout who proved it for polynomials, is a theorem which relates two arbitrary integers with their greatest common divisor. The theorem's statement is as follows: (The greatest common divisor of 0 and 0 is taken to be 0.) The integers x and y are called Bézout coefficients for (a, b); they are not unique.