Zahlbereich/Additive Struktur/Frei/Fakt/Beweis

Beweis

Dies folgt direkt aus Fakt, angewendet auf das Ideal .