Let `e` be a non-zero-divisor of a noetherian local ring `S` with `S / (e) ≃ k[[X]]`, and let `g` have nonzero image in `k[[X]]`.

Initializing...

Let `e` be a non-zero-divisor of a noetherian local ring `S` with `S / (e) ≃ k[[X]]`, and let `g` have nonzero image in `k[[X]]`. · Prove2Me