Product of Quotients of Real Numbers

Theorem

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