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 Non-Zero Elements of Division Ring form Group.