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