Quadratic Integers over 2 form Subdomain of Reals

Theorem
Let $\Z \sqbrk {\sqrt 2}$ denote the set of quadratic integers over $2$:
 * $\Z \sqbrk {\sqrt 2} := \set {a + b \sqrt 2: a, b \in \Z}$

That is, all numbers of the form $a + b \sqrt 2$ where $a$ and $b$ are integers.

Then the algebraic structure:
 * $\struct {\Z \sqbrk {\sqrt 2}, +, \times}$

where $+$ and $\times$ are conventional addition and multiplication on real numbers, form an integral subdomain of the real numbers $\R$.