Multiplicative Inverse in Field is Unique/Proof 1

Proof
From the definition of multiplicative inverse, $a^{-1}$ is the inverse element of the multiplicative group $\struct {F^*, \times}$.

The result follows from Inverse in Group is Unique.