Kategorie:Theorie der kommutativen Monoidringe/Beweise