constructive
gcd
implementation
