Theorem 9.7. Assuming that:

Then

I

can be written uniquely as aproduct of prime ideals:

I = p_{1}^{e_{1}} \dots p_{r}^{e_{r}}

(with $p_{i}$ distinct).