Kommutative Algebra/Modultheorie/Rechenregeln zur Determinante/Fakt/Beweis