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

Es sei ein kommutativer Ring und sei ein Ideal mit dem Restklassenring

Zeige, dass die Ideale von eindeutig denjenigen Idealen von entsprechen, die umfassen.