Kommutative Ringtheorie/Lokalisierung/Integritätsbereich/ist lokaler Ring/Fakt/Beweis