Lemma 10.4. Assuming that:

  • 0≠x∈O)K

Then
(x)=∏p≠0prime idealpvp(x).