Product of Reciprocals of Real Numbers

Theorem

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