Product with Ring Negative/Corollary

Corollary to Product with Ring Negative
Let $\left({R, +, \circ}\right)$ be a ring with unity $1_R$.

Then:
 * $\forall x \in R: \left({-1_R}\right) \circ x = -x$