Satz 17.5
Kurs:Algebraische Kurven (Osnabrück 2008)/Vorlesung 17 Kommutative Monoidringe/Universelle Eigenschaft für R-Algebren mit Monoidabbildung/Fakt