Non-Zero Real Numbers under Multiplication form Abelian Group

Theorem
Let $\R_{\ne 0}$ be the set of real numbers without zero:
 * $\R_{\ne 0} = \R \setminus \set 0$

The structure $\struct {\R_{\ne 0}, \times}$ is an uncountable abelian group.