El resultado sigue de la identidad de Bezout para los números enteros que establece que el máximo común divisor de dos números se puede expresar como una combinación lineal de los números .