Multiplicative Group of Field is Abelian Group/Proof 1

Theorem
Let $\left({F, +, \times}\right)$ be a field.

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

The algebraic structure $\left({F^*, \times}\right)$ is an abelian group.

Proof
From the field axioms:

Hence the result.