The exceptional divisor of the overlap is integral, and an element of the opposite chart vanishing on it lies in the exceptional ideal `(x)` of that chart.

Initializing...

The exceptional divisor of the overlap is integral, and an element of the opposite chart vanishing on it lies in the exceptional ideal `(x)` of that chart. · Prove2Me