------
## 最终结论
```python
def gcd(a, b):
    while b:
        a, b = b, a % b
    return a

# Test cases
assert gcd(12, 17) == 1
assert gcd(4, 6) == 2
assert gcd(2, 9) == 1
```