Esta identidad se demuestra fácilmente usando por ejemplo el algoritmo de Euclides: se trata de hacer la división entera de m entre n (supongamos por ejemplo que m>n), e ir repitiendo esta división ahora entre n y el resto obtenido anteriormente, hasta llegar a resto 1.