lautet:

Zu jedem reduzierten komplexen Raum X = (X, 𝒪) existiert (bis auf Isomorphie) genau eine Normalisierung. Die 𝒪-Algebra \(\tilde{{\mathcal{O}}}\)(die Garbe der schwach holomorphen Funktionen auf X) ist ein kohärenter 𝒪-Modul, und Specan \(\tilde{{\mathcal{O}}}\) → X ist die Normalisierung.

Dabei bezeichne Specan \(\tilde{{\mathcal{O}}}\) das analytische Spektrum von \(\tilde{{\mathcal{O}}}\).