Kommutative Ringtheorie/Algebra von endlichem Typ/Körper/Noethersch/Fakt/Beweis