Normed Division Algebra is Unitary Division Algebra

Theorem
Let $A = \left({A_F, \oplus}\right)$ be a normed divison algebra over a field $F$.

Let the unit of $A$ be $1_A$, and the zero of $A$ be $0_A$.

Then $A$ is a unitary division algebra.

Also:
 * $\left \Vert {1_A} \right \Vert = 1$

where $\left \Vert {1_A} \right \Vert$ denotes the norm of $1_A$.

Proof
Let $A = \left({A_F, \oplus}\right)$ be a normed divison algebra as defined in the hypothesis.

The fact that $A$ is a unitary algebra is a consequence of the definition of normed divison algebra.

From the definition of a norm, we have that:
 * $\forall a \in A: \left \Vert {a} \right \Vert = 0 \iff a = 0_A$

So, let $a, b \in A \setminus \left\{{0_A}\right\}$.

We have:

Thus for any arbitrary $a, b \ne 0_A$ we have shown that $a \oplus b \ne 0_A$.

Thus $A$ is a division algebra.

Next:

demonstrating that $\left \Vert {1_A} \right \Vert = 1$.