Reciprocal of Quotient of Real Numbers

Theorem

 * $\forall x, y \in \R_{\ne 0}: \dfrac 1 {x / y} = \dfrac y x$