Inverse of Multiplicative Inverse/Proof 1

Proof
The multiplicative inverse is, by definition of a field, the inverse element of $a$ in the multiplicative group $\struct {F^*, \times}$.

The result then follows from Inverse of Group Inverse.