Bézout's Lemma/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 Lemma on Euclidean Domain.