Modultheorie/Ideale sind Untermoduln des Ringes/Fakt/Beweis