Luego, por la identidad de Bezout, hay enteros x, y tales que