For an integral extension of local rings, the maximal ideal of `B` lies over that of `O`, and it is the only prime of `B` lying over it.

Initializing...

For an integral extension of local rings, the maximal ideal of `B` lies over that of `O`, and it is the only prime of `B` lying over it. · Prove2Me