Euclid
a = qb + r with 0 <= r < b
where a,b,q,r are integers
--ERaymond 12:26 29 January 2009 (UTC)
GCD: The greatest common divisor of two nonzero integers a and b is the largest of all common divisors of a and b.
--Jmcdorma 12:16, 5 February 2009 (UTC)