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}$