Lemma 10.4.
Assuming that:
0
≠
x
∈
O
)
K
Then
(
x
)
=
∏
p
≠
0
prime ideal
p
v
p
(
x
)
.