Added a nice gcd identity