GCD of Integers with Common Divisor/Proof 2