Lokaler Ring/Lemma von Nakayama/Untermodul/Fakt/Beweis

Beweis

Im Restklassenmodul gilt . Aus Fakt folgt , also .