Zahlbereich/Hauptideal zu ganzer Zahl/Norm/Fakt/Beweis

Beweis

Dies ist ein Spezialfall von Fakt.