El resultado de la siguiente proposición es conocido como el Algoritmo de la División (de Euclides).