Bézout's identity

Theorem (Bézout's identity)

Consider non-zero integers and with . Then . Moreover the set is exactly the set of all multiples of .

The proof revolves around applying the Euclidean algorithm backwards.