P
Initializing...
Classical reduction: $N \mid (a^{r/2}-1)(a^{r/2}+1)$ when the order $r$ is even · Prove2Me