Bézout's Identity/Proof 6

Proof
We have that Integers are Euclidean Domain, where the Euclidean valuation $\nu$ is defined as:
 * $\map \nu x = \size x$

The result follows from Bézout's Identity on Euclidean Domain.