where \(\gcd\) denotes the greatest common divisor.