Kurs:Kommutative Algebra/Polynomring/Lemma von Gauß/Fakt/Faktreferenznummer