Kommutative Ringtheorie/Beweis