Modultheorie/Ideale sind Untermoduln des Ringes/Fakt/Beweis

Beweis

Dies folgt direkt aus den Definitionen.