Definition. Greatest common Divisor [0010]

Let be integers. If and are not both , then the set of common divisors is finite and nonempty. We then define the greatest common divisor as and denote it by .