Zorn's lemma
Zorn's lemma implies that there exists a maximal ideal "M" in "R" that contains "I".