Lemma 9.3. Assuming that:

$R$ is a Noetherian ring
$I \subseteq R$ a non-zero ideal

Then there exists non-zero prime ideals

p_{1}, \dots, p_{r}

such that

p_{1}, \dots, p_{r} \subseteq I

.