Untervarietät/Lokal durch Funktionen/Schnittverhalten/Fakt/Beweis

Beweis

Ohne Einschränkung sei ebenfalls irreduzibel und entspreche einem Primideal der Höhe . Es sei mit einem Primideal der Höhe , das minimal über ist. Wegen Fakt ist zu zeigen. In ist minimal über

Nach Fakt ist dort die Höhe von höchstens . Zurückübersetzt nach bedeutet dies