An ideal of `k[X]` containing a power `φ^L` of an irreducible polynomial is `(φ^r)` for some `r ≤ L`.

Initializing...

An ideal of `k[X]` containing a power `φ^L` of an irreducible polynomial is `(φ^r)` for some `r ≤ L`. · Prove2Me