Como se mencionó anteriormente, la implicación como interpretación es incorrecta. $k\mid (n-1)!$ no implica que $k\equiv 1\pmod{n}$. Tomar cualquier contraejemplo a usted, como $k=3,n=5$.
Aquí espero a repasar algunos de los detalles de esa sección de la prueba en el intento de aclarar algunos de los puntos.
Supongamos que $(n-1)!\equiv -1\pmod{n}$
Se argumenta que las $n$ debe ser un primo. Para lograr esto, supongamos que al contrario que $n$ es en el hecho de compuesto. En este caso, $n=km$ algunos $k,m\in\mathbb{N}\setminus\{1\}$ lo que implica que $k<n$.
En este caso, $k$ a continuación, debe ser igual a uno de $\{2,3,4,\dots,n-2,n-1\}$. Esto implica que $k\mid (n-1)!$ desde $(n-1)!=\prod\limits_{i=1}^{n-1} i = k\prod\limits_{i=1~~~i\neq k}^{n-1} i$.
Sin embargo, desde la $(n-1)!\equiv -1\pmod{n}$$k\mid n$$k\mid (n-1)!$, todas estas cosas juntas implican que $k\equiv 1\pmod{n}$
Por qué? Desde $k\mid n$$k\mid (n-1)!$, usted tiene que $k\mid \gcd((n-1)!,n)$, pero desde $(n-1)!\equiv -1\pmod{n}$ que implica que $(n-1)!$ es coprime a $n$ (ya que esto implica que hay algún múltiplo de $n$ que es exactamente una distancia de $(n-1)!$). Por lo tanto,$\gcd((n-1)!,n)=1$$k\mid 1$. Esta es, sin embargo, una contradicción ya que nos dijo que $k\in\mathbb{N}\setminus \{1\}$.