# Step 8 (S-4952)

1. $\displaystyle GCD(a, b) = GCD(b, a \bmod b)$
2. $\displaystyle GCD(0, a) = a$
3. $\displaystyle GCD(a, b) = GCD(b, a)$