The level-one left kernel, transported to `k[X]` along an identification of the exceptional line, is generated by `∏ φₛ ^ multₛ` for distinct monic irreducibles `φₛ`, with `φ = X` exactly at the zero-

Initializing...

The level-one left kernel, transported to `k[X]` along an identification of the exceptional line, is generated by `∏ φₛ ^ multₛ` for distinct monic irreducibles `φₛ`, with `φ = X` exactly at the zero- · Prove2Me