Deux nombres a et b sont premiers entre eux si leur pgcd est égal à 1.
Si d est un diviseur commun de a et de b, on peut écrire :
a = da1 b = db1
où a1 et b1 sont entiers.
a = da1 b = db1
On a l'équivalence :
[d = pgcd(a, b)]
[pgcd(a1, b1) = 1]