Kommutative Algebra/Beweis