Soient d′=PGCD(a′;b′) et k1 et k2 les entiers tels que a′=d′k1 et b′=d′k2.
On doit montrer que d=1.
En effet, a=dd′k1 et b=dd′k2 donc dd′ est un diviseur commun à a et b. Comme d=PGCD(a;b), on a nécessairement dd′⩽d donc, puisque d>0,d′=1.
Réciproquement, PGCD(a;b) =PGCD(da′;db′) =dPGCD(a′;b′) =d car a′ et b′ sont premiers entre eux.