Integritätsbereich/Krullscher Durchschnittsatz/Fakt/Beweis

Aus Wikiversity
Beweis

Dies folgt aus Fakt für . Wenn nämlich im Durchschnitt liegt, so gibt es ein mit . Aufgrund der Nichtnullteilereigenschaft muss ein Faktor sein. Wegen ist . Also ist .