La siguiente proposición es la generalización del teorema de Bezout para los Enteros--- dados dos enteros no nulos, podemos expresar el mcd de ellos como una combinación lineal de dicho enteros.