Euclidean Algorithm/Examples/341 and 527/Proof

Proof
Thus:
 * $\gcd \set {341, 527} = 31$