equivalence between geometric gcd and classique Euclide's algorithm