 For example, Bézout's identity states that the right can be expressed as a linear combination of and .In other words, there are numbers and such that

The analogous identity for the left GCD is nearly the same