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