Quaternion Modulus in Terms of Conjugate

Theorem
Let $\mathbf x = a \mathbf 1 + b \mathbf i + c \mathbf j + d \mathbf k$ be a quaternion.

Let $\left\vert{\mathbf x}\right\vert$ be the modulus of $\mathbf x$.

Let $\overline{\mathbf x}$ be the conjugate of $\mathbf x$.

Then:
 * $\left\vert{\mathbf x}\right\vert^2 \mathbf 1 = \mathbf x \overline{\mathbf x}$

Proof
Let $\mathbf x = a \mathbf 1 + b \mathbf i + c \mathbf j + d \mathbf k$.

Then: