If you define GCD this way then writing gcd(a, b) = c is an abuse of notation :)