de manière générale, on a (a,b)= (a, ka +b) où k est entier, (a,b) désignant le PGCD. En effet, si on pose a = da' et b = db' avec d PGCD de a et b, alors ka + b= d(ka' + b') et on doit montrer que a' et ka' + b' sont premiers entre eux, or d'après Bézout, il existe u et v tels que ua' + vb'=1 donc si on pose u'= u- vk, on a u'a' + v (ka' + b')= ua' + vb' =1 donc il existe u' et v entiers vérifiant Bézout donc a et ka' + b' sont premiers entre eux.
Au fait, en passant, l'identité de bézout générale est ua + vb = k PGCD pour ua + vb positifs.