Teorema 1 (Algoritmos de la division). z Z, n N, !q, r Z, z = nq + r 0 r < n.
Demostracion. Existencia (aplicando PIM sobre z).
Caso z=0: Como n N, la unica forma en que z = 0, es que q = r = 0, luego hemos mostrado que existen q y r t.q. z = 0. Caso z > 0: Sea la propiedad p(z) z = qn + r, 0 r < n. Para la base inductiva, tenemos que p(1) 1 = qn + r, y como n N, entonces la unica forma en que esto suceda es que q = n = 1 y r = 0, o en caso que n > 1, q = 0 y r = 1, demostrando as la base para este caso. Ahora establezcamos la hipotesis inductiva (H.I.):
z Z, n N, !q, r Z, p(z).
Asumiendo H.I., p(z + 1) z + 1 = qn + r + 1, y como r < n, puede suceder o que r + 1 = n
o r + 1 < n, pero consideremos solo el primer caso, pues el segundo es trivial. Si r + 1 = n, p(z + 1) z + 1 = qn + r + 1 = qn + n = n(q + 1), y claramente r = 0, 0 r < n, demostrando as p(z + 1) y por PIM, la existencia de q y r en este caso. Caso z < 0: Si z < 0, z > 0, y por el caso anterior tenemos que se cumple z = qn + r, 0 r < n, por lo que z = n(q) r = n(q) + n n r = n(q 1) + (n 1), y como 0 r > n, 0 < n r n, y considerando solo el caso n r = n (pues el caso n r < n es inmediato), z = n(q 1 + 1) = n(q); luego se ha garantizado que el residuo sea mayor o igual a cero, o menor a n, demostrando as la existencia en este caso. Unicidad. Sea z = qn + r y z = q 0 n + r0 , con 0 r, r0 < n, qn + r = q 0 n + r0 , luego n(q q 0 ) = r0 r, pero como 0 r < n y 0 r0 < n, n < r 0, n < r r0 < n, luego n < n(q q 0 ) < n, 1 < q q 0 < 1, pero como q q 0 Z, la unica forma en que esto pase es que q = q 0 y por lo tanto r = r0 , demostrando as la unicidad.