Number Theory Level 13: GCD (<= 200). Euclidean algorithm.
1. First Euclid step
Replace the pair with divisor and remainder.
Replace the larger number with its remainder.
2. Repeat with remainder
First Euclid step
Continue with the new pair.
3. Reach exact division
First Euclid step
Repeat with remainder
Stop when the remainder is zero.
4. Read GCD
First Euclid step
Repeat with remainder
Reach exact division
The last nonzero divisor is the GCD.