1 (define (gcd a b)
2   (if (= b 0)
3       a
4       (gcd b (remainder a b))))