Bézout's Lemma/Proof 1

Proof
Work the Euclidean Division Algorithm backwards.