Let be a ring and let , , and be ideals in such that . If and denote the images of and in via the natural projection, prove that where is the image of the ideal quotient .
Suppose . Then , and thus . Then , and so . So .
Suppose conversely that . Then , and thus . Since , . So , and .