Non-Archimedean Division Ring is Totally Disconnected

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

Let $\tau$ be the topology induced by the norm $\norm{\,\cdot\,}$.

Then the topological space $\struct{R, \tau}$ is totally disconnected.

Proof
Let $S$ be a subset of $R$.

Let $x, y \in S: x \ne y$

Let $r \in \R_{>0} : r = \norm {x - y}$

Consider the open ball, $B_r \paren{x}$, then:
 * $x \in B_r \paren{x}$
 * $y \notin B_r \paren{x}$