At every point of two-chart curve data on the blow-up of the concrete surface, the completed local ring is noetherian (complete local) and the exceptional equation is a non-zero-divisor.

Initializing...

At every point of two-chart curve data on the blow-up of the concrete surface, the completed local ring is noetherian (complete local) and the exceptional equation is a non-zero-divisor. · Prove2Me