Greatest Common Divisor of Set of Integers/Definition 2