La identidad de Bézout o Lema de Bézout es un teorema elemental de teorías de números el cual enuncia que si "a" y "b" son números enteros diferentes de cero con máximo común divisor "d", entonces existen enteros "x" e "y" tales que: