En mi respuesta me llevó a conjeturar lo siguiente:
Declaración:
Si gcd(α,β,γ)=1, entonces todo entero puede escribirse como αx+βxy+γy para los enteros x y y .
Si lo anterior es cierto, mi pregunta original estaría resuelta, pero la validez de la pregunta original no implica la verdad de la afirmación anterior.
Y lo que puedo pensar ahora es que esto es sólo la identidad de Bézout, en el caso β=0 .
Gracias por cualquier ayuda, y, por favor, localice cada punto inapropiado que tenga lugar aquí.