Valuation Ring of Non-Archimedean Division Ring is Subring

Theorem
Let $\struct {R, \norm{\,\cdot\,}}$ be a non-Archimedean normed division ring with zero $0_R$ and unity $1_R$.

Let $\OO$ be the valuation ring induced by the non-Archimedean norm $\norm {\,\cdot\,}$, that is:
 * $\OO = \set {x \in R : \norm{x} \le 1}$

Then $\OO$ is a subring of $R$:
 * with a unity: $1_R$
 * in which there are no (proper) zero divisors, that is:
 * $\forall x, y \in \OO: x \circ y = 0_R \implies x = 0_R \text{ or } y = 0_R$

Proof
To show that $\OO$ is a subring the Subring Test is used by showing:
 * $(1): \quad \OO \ne \O$
 * $(2): \quad \forall x, y \in \OO: x + \paren {-y} \in \OO$
 * $(3): \quad \forall x, y \in \OO: x y \in \OO$

(1)

By Norm of Unity,
 * $\norm{1_R} = 1$

Hence:
 * $1_R \in \OO \ne \O$

(2)

Let $x, y \in \OO$.

Then:

Hence:
 * $x + \paren {-y} \in \OO$

(3)

Let $x, y \in \OO$.

Then:

Hence:
 * $x y \in \OO$

By Subring Test it follows that $\OO$ is a subring of $R$.

Since $1_R \in S$ and $1_R$ is the unity of $R$ then $1_R$ is the unity of $\OO$.

By Division Ring has No Proper Zero Divisors then $R$ has no proper zero divisors.

Hence $\OO$ has no proper zero divisors.