If `e` is a nonzerodivisor, the layer map induces an `A`-linear isomorphism from `A ⧸ (e)` onto the principal layer `(e)^j ⧸ (e)^(j+1)`.

Initializing...

If `e` is a nonzerodivisor, the layer map induces an `A`-linear isomorphism from `A ⧸ (e)` onto the principal layer `(e)^j ⧸ (e)^(j+1)`. · Prove2Me