En particular, el máximo común divisor de dos elementos siempre existe —lo cual no es en general cierto para un anillo arbitrario—, y puede ser expresado como una combinación lineal de ellos (identidad de Bezout).