Theorem 12.8.
Assuming that:
O
L
=
O
K
[
α
]
α
has monic minimal polynomial
g
(
X
)
∈
O
K
[
X
]
Then
D
L
∕
K
=
(
g
′
(
α
)
)
.