Lemma 16.4.
Assuming that:
K
is a number field
a
,
b
∈
O
K
Then
Im
(
α
E
)
⊂
K
(
S
,
2
)
, where
S
=
{
𝔭
|
b
}
.