Remark 7.2.13. The previous argument shows more generally that \(X/N\) is \(P\)-divisible whenever \(\gcd (q,N) = 1\) for every \(q \in P\).

Generated from the authoritative LaTeX source.