What we now have to prove is that: if an overring R* of R is such that R* is an integral domain, R* is integral over R and the quotient field 𝔏* of R* is a finite algebraic extension of 𝔏, then R* is a local ring and a finite R-module.