Otras personas han contestado. Pero la cosa es la idea de Bezout del Lexema (a veces conocido como la Identidad de Bezout).
Si $M,N$ son enteros con máximo común divisor $\gcd(M,N)$ entonces no existen números enteros $a,b$ , de modo que $Ma + Nb = \gcd(M,N)$.
Otra forma de poner esto es
Si $j,k$ son enteros primos relativos, entonces no existen números enteros $a,b$ , de modo que $ja + kb = 1$.
Si tenemos en cuenta que $\gcd(M,N)|M$ e $\gcd(M,N)$ entonces $\gcd(M,N)|Ma + Nb$ para cualquier enteros $a,b$ lo que conduce a una tercera forma de poner este
(Versión 3) Si $M,N$ son enteros, entonces:
Para cualquier enteros $a,b$ la $Ma + Nb$ será un múltiplo de $\gcd(M,N)$.
Enteros $c,d$ existen para que las $Mc + Nd = \gcd(M,N)$.
y por lo tanto
- Para cualquier múltiplo de $\gcd(M,N)$, decir $k\gcd(M,N)$ para algunos entero $k$, luego enteros $a,b$ existe para que $Ma + Nb = k\gcd(M,N)$. (Solo deje $a = kc; b=kd$ donde $c,d$ son como en 2. que la anterior).
Y esto contesta a tu pregunta.
$152207x−81103y$ siempre será un múltiplo de $\gcd(152207, 81103) = 1111$
$152207x - 81103y = 1111$ va a ser posible.
Y como el menor entero positivo que es un múltiplo de a$1111$ es $1111$, el menor valor positivo de la $152207x -88103y$ es $1111$.
Aviso, no tenemos realmente para encontrar los valores que hacen de esta verdad. Es suficiente saber que se puede hacer!
====
Addendum:
1) Nota: yo no he dicho y nunca implícita de que alguno de los enteros pares eran únicos.
$Ma + Nb = k\gcd(M,N)$ tiene un infinito número de soluciones.
Aviso de $M(a \pm w\frac N{\gcd(M,N}) + N(b \mp w\frac M{\gcd(M,N)}) = Ma + Nb = k\gcd(M,N)$ que siempre habrá una solución. Pero todas las soluciones se es un formulario.
2) Para realmente encontrar una solución
$152207x -88103y =1111$ podemos usar el Algoritmo de Euclides
$152207 = 81103 + 71104; 71104 = 152207 - 81103$
$81103 = 71104 + 9999; 9999 = 81103 - 71104 = 81103 -(152207-81103) = 2*81103-152207$
$71104 = 7*9999 + 1111; 1111 = 71104 - 7*9999=(152207 - 81103)-7(2*81103-152207)=8*152207- 15*81103$
$9999 = 9*1111 + 0$ eso es lo más lejos que podamos ir.
Así, por $x = 8; y = -15$ obtenemos $152207x+81103y = \gcd(152207, 81103)$.