Soit d un diviseur positif commun aux entiers a et b, d divise toute combinaison linéaire de a et b donc d divise .

Par conséquent ou .