Readme update and proof of equality between geometric gcd and Euclide method