Theorem 5.6.
Assuming that:
(
K
,
|
∙
|
)
complete
discretely valued field
characteristic
(
K
)
=
p
>
0
k
is
perfect
Then
K
=
k
(
(
t
)
)
(
k
=
O
K
∕
m
).