Lemma 1.6.
Assuming that:
(
K
,
|
∙
|
)
is
non-archimedean
x
,
y
∈
K
|
x
|
<
|
y
|
Then
|
x
−
y
|
=
|
y
|
.