Bézout's Identity/Proof 1

Proof
Work the Euclidean Division Algorithm backwards.