Euclidean Algorithm/Examples/24 and 138/Proof

Proof
Thus:
 * $\gcd \set {24, 138} = 6$