The greatest common divisor (gcd) of two integers is the greatest (largest) number that divides both of the integers evenly. Euclid came up with the idea of GCDs.
The GCD of any two positive integers can be defined as a recursive function: