Basic Euclidean Algorithm - Expii

Basic Euclidean algorithm: gcd(a, b) = gcd(a, b-a) for any integers a, b.