Lokaler Ring/Krullscher Durchschnittsatz/Fakt/Beweis

Beweis

Dies folgt aus Fakt für . Wenn nämlich im Durchschnitt liegt, so gibt es ein

mit . Im lokalen Fall ist eine Einheit und somit ist .