Kommutativer Ring/Lemma von Nakayama/Nichtlokale Version/Fakt/Beweis

Beweis

Wir wenden Fakt auf die Identität auf an. Mit dem dort gewonnenen Polynom (mit ) ist dann

wobei die Summe ohne die zum Ideal gehört.