P
Initializing...
Proof of Lemma 3, p. 14 — if gcd(q, M) ≠ q then gcd(q, M) ≤ q/2 · Prove2Me