|
|
 |
 |
 |
|
|
|
|
|
Si d est un diviseur commun à a et b, c'est aussi un diviseur commun à b et r, r étant le reste de la division de a par b.
Réciproquement un diviseur commun à b et r est un diviseur commun à a et b. Or le couple (b, r) est un couple d'entiers plus petits que ceux du couple initial. On peut recommencer en faisant la division de b par r.
