P
Initializing...
A nonzero `q` with `K'[X]/(q)` reduced is squarefree. · Prove2Me