Multiplicative Group of Field is Abelian Group/Proof 2

Proof
Recall that a field is a non-trivial commutative division ring.

The result follows from Division Ring Non-Zero Elements form Group.