Es sei
ein
algebraisch abgeschlossener Körper,
es sei
eine
Varietät
über
und
affin-algebraische Teilmengen mit
irreduzibel.
Es sei
ein Punkt und
das zugehörige Primideal zu
im
lokalen Ring
. Es sei
die
Höhe
von
und es gebe
Elemente
mit
-

Dann erfüllt jede Komponente
des Durchschnittes
die Dimensionseigenschaft
-
