TeX source:
\gcd(N,a^{r/2}-1)