Negative of Quotient of Real Numbers

Theorem

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