Reciprocal of i

Theorem
Let $i$ be the imaginary unit such that $i^2 = -1$.

Then $\dfrac 1 i = -i$.