Cauchy-Folgen/Q/Kommutativer Ring/Nullfolgenideal/Fakt

Im Ring ${}C$ der rationalen Cauchy-Folgen bildet die Menge der Nullfolgen

ein Ideal.

Zum Beweis, Alternativen Beweis erstellen