If `F` is not divisible by the variable `X s`, then `X s ^ n * G ∈ (F)` implies `G ∈ (F)`.

Initializing...

If `F` is not divisible by the variable `X s`, then `X s ^ n * G ∈ (F)` implies `G ∈ (F)`. · Prove2Me