Lemma 17.10
Kurs:Algebraische Kurven (Osnabrück 2008)/Vorlesung 17 Kommutative Monoidringe/Funktorialität im Monoid/Surjektivität/Fakt