>>793
フェルマーの小定理もそうですが、最大で何倍すればp^(n+1)≡1
となるかということなので、その約数でもp^(n+1)≡1となるということだと思います