Field Unity Divided by Element equals Multiplicative Inverse

Theorem
Let $\struct {F, +, \times}$ be a field whose zero is $0_F$ and whose unity is $1_F$.

Let $a \in F$.

Then:
 * $\dfrac {1_F} a = a^{-1}$

where $\dfrac {1_F} a$ denotes division.