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 $\left({F^*, \times}\right)$.

The result follows from Inverse in Group is Unique.