; modulo (define (% a b) (remainder a b) ) (define (pgcd a b) (if (= (% a b) 0) b (pgcd b (% a b) ) ) )