Euclid's Algorithm for GCD