Equivalence of Definitions of Quaternion Modulus

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

Proof
Let $\mathbf x = \begin{bmatrix} a + b i & c + d i \\ -c + d i & a - b i \end{bmatrix}$ be the matrix form of quaternion $\mathbf x$.