Product of Real Number with Quotient

Theorem

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