Euclidean Algorithm/Euclid's Proof/Porism

Proof
An algebraic proof of this is given in Common Divisor Divides GCD.