Units of `R/I` lift to units of `R` when `I` lies in the maximal ideal of the local ring `R`.

Initializing...

Units of `R/I` lift to units of `R` when `I` lies in the maximal ideal of the local ring `R`. · Prove2Me