lautet:

Sei R ein Noetherscher Ring und f ∈ R ein Nichtnullteiler. Sei ℘ ⊃ (f) ein minimales Prim-oberideal (auch minimales assoziiertes Primideal genannt). Dann ist die Höhe des Ideals ℘ gleich 1.