Remark
The integers
x
and
y
with
xa
+
yb
= gcd(
a,b
) are not unique: of course, for any integer
t
,
(
x
+
tb
)
a
+ (
y
-
ta
)
b
= gcd(
a,b
).