Multiplicative Group of Field is Abelian Group

Theorem
Let $\struct {F, +, \times}$ be a field.

Let $F^* := F \setminus \set 0$ be the set $F$ less its zero.

The algebraic structure $\struct {F^*, \times}$ is an abelian group.