§5, p. 1498 — r even and x^{r/2} ≢ −1 (mod n) give a nontrivial factor gcd(x^{r/2} − 1, n)

Initializing...

§5, p. 1498 — r even and x^{r/2} ≢ −1 (mod n) give a nontrivial factor gcd(x^{r/2} − 1, n) · Prove2Me