TeX source:

g^r − 1 = (g^{r/2} − 1)(g^{r/2} + 1) ≡ 0  \text{(mod N )}