Definition:Common Divisor of Integers