(defun eucgcd (m n)
  (cond ((or (<= m 1) (<= n 1)) nil)
        ((= m n) m)
        (t (gcd (- (max m n) (min m n)) (min m n)))))