Antecedentes: Esto es de la 5ª edición de Rosen, $3.2.15$ Teoría de los números. Esta es una prueba importante porque $3$ los siguientes problemas requieren que sea correcto.
Si $i=0$ y $j=p$ entonces esta prueba es errónea y $p\mid (i-j)$ y $p$ no puede dividir $k$ . ¿Se puede modificar esta prueba para que sea correcta o no la entiendo?