Ganze Erweiterung/Normale Basis/Going down/Fakt

Es sei eine ganze Erweiterung von Integritätsbereichen mit normal.

Dann gibt es zu Primidealen

in und einem Primideal in mit

ein Primideal mit

und