If `π` maps into the maximal ideal of the local `O`-algebra `R`, then `1 + π • v` is a unit.

Initializing...

If `π` maps into the maximal ideal of the local `O`-algebra `R`, then `1 + π • v` is a unit. · Prove2Me