At a maximal ideal of the overlap on the exceptional divisor, both charts have the same residue field as the overlap, and hence the same residue length over `R`.

Initializing...

At a maximal ideal of the overlap on the exceptional divisor, both charts have the same residue field as the overlap, and hence the same residue length over `R`. · Prove2Me