(define (gcd a b)
  (let ((c (remainder a b)))
    (if (= c 0)
        b
        (gcd b c))))