Euclidean Algorithm/Examples/56 and 72/Proof

Proof
Thus:
 * $\gcd \set {56, 72} = 8$