If `α f = e^d g` with `e` a nonzerodivisor, then the strict transform of `(f)` is `(g)`.

Initializing...

If `α f = e^d g` with `e` a nonzerodivisor, then the strict transform of `(f)` is `(g)`. · Prove2Me