Luego, toda medida común del resto y del divisor es también una medida común del divisor y del dividendo, o bien no existe ninguna medida común del resto y del divisor que no sea también una medida común del divisor y del dividendo.
- I. En (95) queda demostrado que el resto y el divisor tienen todas las medidas comunes que se encuentran en el dividendo y el divisor.
II. Se demuestra en (96) que no tienen otros.
De ello se sigue, por tanto, que la mayor de las medidas comunes de los dos primeros es la mayor de las de los dos segundos, lo que muestra cómo encontrar la mayor medida común de cualesquiera dos números,5 de la manera siguiente:
98.