Non-Zero Real Numbers Closed under Multiplication

Theorem
The set of non-zero real numbers is closed under multiplication:
 * $\forall x, y \in \R_{\ne 0}: x \times y \in \R_{\ne 0}$