If `Φ` is an unramified lift of degree at least `2` over a complete local ring with finite residue field, then the root of `Φ` in `O[X]/(Φ)` is a unit.

Initializing...

If `Φ` is an unramified lift of degree at least `2` over a complete local ring with finite residue field, then the root of `Φ` in `O[X]/(Φ)` is a unit. · Prove2Me