Euclidean Algorithm/Examples/119 and 272/Proof

Proof
Thus:
 * $\gcd \set {119, 272} = 17$