Dados dos números desiguales y restando sucesivamente el menor del mayor, si el que queda no mide nunca al anterior hasta que quede una unidad, los números iniciales serán primos entre sí.