TeX source:
a^{r/2}\equiv 1{\bmod {N}}