Es sei ( R , m ) {\displaystyle {}(R,{\mathfrak {m}})} ein noetherscher lokaler Ring der Dimension d {\displaystyle {}d} .
Dann gibt es Elemente f 1 , … , f d ∈ m {\displaystyle {}f_{1},\ldots ,f_{d}\in {\mathfrak {m}}} mit