Idealtheorie (kommutative Algebra)/Ideale im Restklassenring/Restklassenring/Aufgabe

Es sei ein kommutativer Ring und sei ein Ideal mit dem Restklassenring . Zu einem Ideal welches enthält, sei das zugehörige Ideal in . Zeige, dass es eine kanonische Ringisomorphie

gibt.