Three Points in Ultrametric Space have Two Equal Distances/Corollary 2

Theorem
Let $\struct {R, \norm {\,\cdot\,} }$ be a normed division ring with non-Archimedean norm $\norm{\,\cdot\,}$,

Let $x, y \in R$ and $\norm x \ne \norm y$.

Then:
 * $\norm {x + y} = \norm {x - y} = \norm {y - x} = \max \set {\norm x, \norm y}$

Proof
Let $d$ be the metric induced by the norm $\norm {\,\cdot\,}$.

By Non-Archimedean Norm iff Non-Archimedean Metric then $d$ is a non-Archimedean metric and $\struct {R, d}$ is an ultrametric space.

Let $x, y \in R$ and $\norm x \ne \norm y$.

By the definition of the non-Archimedean metric $d$ then:
 * $\norm x = \norm {x - 0} = \map d {x, 0}$

and similarly:
 * $\norm y = \map d {y, 0}$

By assumption then:
 * $\map d {x, 0} \ne \map d {y, 0}$

By Three Points in Ultrametric Space has Two Equal Distances then:
 * $\norm {x - y} = \map d {x, y} = \max \set {\map d {x, 0}, \map d {y, 0} } = \max \set {\norm x, \norm y}$

By Norm of Negative then:
 * $\norm {y - x} = \norm {x - y} = \max \set {\norm x, \norm y}$

By the definition of the non-Archimedean metric $d$ then:
 * $\norm y = \norm {0 - \paren {-y} } = \map d {0, -y} = \map d {-y, 0}$

By assumption then:
 * $\map d {x, 0} \ne \map d {-y, 0}$

By Three Points in Ultrametric Space has Two Equal Distances then:
 * $\map d {x, -y} = \max \set {\map d {x, 0}, \map d {-y, 0} } = \max \set {\norm x, \norm y}$

By the definition of the non-Archimedean metric $d$ then:
 * $\map d {x, -y} = \norm {x - \paren {-y} } = \norm {x + y}$

So $\norm {x + y} = \max \set {\norm x, \norm y}$.

The result follows.