Kommutative Monoidringe/Monoid mit Kürzungsregel und torsionsfrei/Grundring integer/Integer/Fakt/Name

Der Satz über die Integrität von Monoidringen.