A maximal ideal of the overlap containing the exceptional parameter contracts, along the gluing map, to a maximal ideal of the opposite chart that contains `x` but not its slope.

Initializing...

A maximal ideal of the overlap containing the exceptional parameter contracts, along the gluing map, to a maximal ideal of the opposite chart that contains `x` but not its slope. · Prove2Me