Kommutative Ringtheorie/Nichtnullteiler und Kürzung/Fakt/Beweis

Beweis

Man kann die Gleichung zu

umschreiben. Da ein Nichtnullteiler ist, ist , also .