Divisores comunes, el máximo común divisor