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