Quotient of Quotients of Real Numbers

Theorem

 * $\forall x \in \R, y, w, z \in \R_{\ne 0}: \dfrac {x / y} {w / z} = \dfrac {x \times z} {y \times w}$